summaryrefslogtreecommitdiff
path: root/zsh/profile
diff options
context:
space:
mode:
Diffstat (limited to 'zsh/profile')
-rw-r--r--zsh/profile2
1 files changed, 1 insertions, 1 deletions
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
}