diff options
| author | Eduardo Pedroni <e.pedroni91@gmail.com> | 2018-04-15 13:31:31 +0200 |
|---|---|---|
| committer | Eduardo Pedroni <e.pedroni91@gmail.com> | 2018-04-15 13:31:31 +0200 |
| commit | 66eac40675f320d859291fac6b4944a095c8d7d2 (patch) | |
| tree | f5c7a1b8d77971e77b9617f789a084814c9f8a6a /.zprofile | |
| parent | f83e3aa0c9e1472e52473ecaa2097b596638dda2 (diff) | |
Renamed .zprofile to .zlogin for compatibility with the options file, added options file and support for it in .zshrc
Diffstat (limited to '.zprofile')
| -rw-r--r-- | .zprofile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.zprofile b/.zprofile deleted file mode 100644 index 1383a43..0000000 --- a/.zprofile +++ /dev/null @@ -1 +0,0 @@ -export PATH="$PATH:$HOME/bin:$HOME/.rust:$ONOS_ROOT/tools/build:$ONOS_ROOT/tools/test/bin:$ONOS_ROOT/tools/dev/bin" |