diff options
author | Ryan Kavanagh <rak@debian.org> | 2017-01-26 15:19:18 -0500 |
---|---|---|
committer | Ryan Kavanagh <rak@debian.org> | 2017-01-26 15:19:18 -0500 |
commit | 1ba51a0d15f7866bde8ee65555e36302673456b4 (patch) | |
tree | 1b97d61a4c35b7262344fdfcd06436a51af3db54 | |
parent | Don't make sidebar visible by default (diff) |
Add OPAM to .zshrc
-rw-r--r-- | .zshrc | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |