summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGrégoire Duchêne <gregoire@awhk.org>2026-05-04 18:01:30 +0100
committerGrégoire Duchêne <gregoire@awhk.org>2026-05-04 18:01:30 +0100
commit562ebc6492d721fccd418075d323b0ed724194ff (patch)
tree40bb1d37b0c491cd7fe4a2ba8c27c62123487ef4
parent211b5c5160e76e485a7388d8fc0d7c80409c011d (diff)
zsh: Set and use OPAMROOT
-rw-r--r--zsh/env1
-rw-r--r--zsh/profile2
2 files changed, 2 insertions, 1 deletions
diff --git a/zsh/env b/zsh/env
index 83e4f8b..e1b1fbf 100644
--- a/zsh/env
+++ b/zsh/env
@@ -26,4 +26,5 @@ setopt EXTENDED_GLOB
source_if_exists zsh/env
export CARGO_HOME=${XDG_DATA_HOME}/cargo
+export OPAMROOT=${XDG_DATA_HOME}/opam
export RUSTUP_HOME=${XDG_DATA_HOME}/rustup
diff --git a/zsh/profile b/zsh/profile
index 66ceab0..b0320ef 100644
--- a/zsh/profile
+++ b/zsh/profile
@@ -2,7 +2,7 @@
() {
local dir
- for dir in ~/.local ${CARGO_HOME} ${GOPATH}; do
+ for dir in ~/.local ${CARGO_HOME} ${GOPATH} ${OPAMROOT}/default; do
[[ -d ${dir}/bin ]] && path=(${dir}/bin ${path})
done
}