summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <contact@thomasletan.fr>2019-06-13 11:33:13 +0200
committerThomas Letan <contact@thomasletan.fr>2019-06-13 11:33:13 +0200
commitb485179630eb97f1f05647d59ccc62a85d00516b (patch)
tree131e0a54c0900aab429760ac12a84dcb49fa2377
parent949168b923f8d35195df2dbff492a07a900d29de (diff)
fix: Generalize opam configuration with ${HOME}HEADmaster
-rw-r--r--zshrc2
1 files changed, 1 insertions, 1 deletions
diff --git a/zshrc b/zshrc
index 70a9456..ed80faa 100644
--- a/zshrc
+++ b/zshrc
@@ -81,4 +81,4 @@ else
fi
# Opam configuration
-test -r /home/lthms/.opam/opam-init/init.zsh && . /home/lthms/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true
+test -r "${HOME}/.opam/opam-init/init.zsh" && . "${HOME}/.opam/opam-init/init.zsh" > /dev/null 2> /dev/null || true