aboutsummaryrefslogtreecommitdiff
path: root/.zshrc
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2017-01-26 15:19:18 -0500
committerRyan Kavanagh <rak@debian.org>2017-01-26 15:19:18 -0500
commit1ba51a0d15f7866bde8ee65555e36302673456b4 (patch)
tree1b97d61a4c35b7262344fdfcd06436a51af3db54 /.zshrc
parentDon't make sidebar visible by default (diff)
Add OPAM to .zshrc
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