summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <contact@thomasletan.fr>2019-05-03 14:11:09 +0200
committerThomas Letan <contact@thomasletan.fr>2019-05-03 14:11:09 +0200
commit949168b923f8d35195df2dbff492a07a900d29de (patch)
treec69e4bffc21d9edd2adff11797b05427cd275723
parentad6ae90d5ea41198d297cd39dcea3c7a95086d02 (diff)
Opam configuration
-rw-r--r--zshrc3
1 files changed, 3 insertions, 0 deletions
diff --git a/zshrc b/zshrc
index 46ad9b4..70a9456 100644
--- a/zshrc
+++ b/zshrc
@@ -79,3 +79,6 @@ if [ -f "${SSH_ENV}" ]; then
else
start_agent;
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