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}"