diff --git a/.bash_profile b/.bash_profile index 5545f00..8a84add 100644 --- a/.bash_profile +++ b/.bash_profile @@ -3,3 +3,6 @@ # [[ -f ~/.bashrc ]] && . ~/.bashrc + +# opam configuration +test -r $HOME/.opam/opam-init/init.sh && . $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true