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/profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'zsh/profile')

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