From 562ebc6492d721fccd418075d323b0ed724194ff Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gregoire@awhk.org>
Date: Mon, 4 May 2026 18:01:30 +0100
Subject: zsh: Set and use OPAMROOT

---
 zsh/env     | 1 +
 zsh/profile | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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
 }
-- 
cgit v1.3