Update init.zsh

9 years ago · 914294b745
parent 4f19700919
commit 914294b745
1 changed files with 2 additions and 2 deletions
--- a/modules/ocaml/init.zsh
+++ b/modules/ocaml/init.zsh
@ -6,9 +6,9 @@
 #

 # Return if requirements are not found.
-if [[ ! -f "$HOME/.opam/opam-init/init.zsh" ]]; then
+if [[ ! -f "${OPAMROOT:-$HOME/.opam}/opam-init/init.zsh" ]]; then
  return 1
 fi

 # Initialize OPAM.
-source "$HOME/.opam/opam-init/init.zsh"
+source "${OPAMROOT:-$HOME/.opam}/opam-init/init.zsh"