diff options
Diffstat (limited to '')
| -rw-r--r-- | dot_config/environment.d/01_PATH.conf | 23 |
1 files changed, 8 insertions, 15 deletions
diff --git a/dot_config/environment.d/01_PATH.conf b/dot_config/environment.d/01_PATH.conf index 104fba4..2d43e7a 100644 --- a/dot_config/environment.d/01_PATH.conf +++ b/dot_config/environment.d/01_PATH.conf @@ -1,16 +1,9 @@ PATH="${PATH:-/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games}" -for dir in \ - "/usr/games" \ - "/usr/sbin" \ - "/sbin" \ - "${HOME}/.cabal/bin" \ - "${HOME}/.cargo/bin" \ - "${HOME}/bin"; do - case :$PATH: in - *:${dir}:*) - # ${dir} already in PATH - ;; - *) - PATH="${dir}:${PATH}";; - esac -done +PATH="/usr/games:${PATH}" +PATH="/usr/sbin:${PATH}" +PATH="/sbin:${PATH}" +PATH="${HOME}/.opam/default/bin:${PATH}" +PATH="${HOME}/.opam/beluga/bin:${PATH}" +PATH="${HOME}/.cabal/bin:${PATH}" +PATH="${HOME}/.cargo/bin:${PATH}" +PATH="${HOME}/bin:${PATH}" |