aboutsummaryrefslogtreecommitdiff
path: root/.zsh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.zshrc4
1 files changed, 4 insertions, 0 deletions
diff --git a/.zshrc b/.zshrc
index 2e671ae..891b0d0 100644
--- a/.zshrc
+++ b/.zshrc
@@ -806,3 +806,7 @@ if [[ "True" = "True" ]]; then
[ -f $HOME/.keychain/$HOSTNAME-sh-gpg ] &&
. $HOME/.keychain/$HOSTNAME-sh-gpg
fi
+
+# ocaml
+
+. ${HOME}/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true