diff --git a/files/.bash_profile b/files/.bash_profile index b4feca6..dd1d70d 100644 --- a/files/.bash_profile +++ b/files/.bash_profile @@ -1,3 +1,6 @@ #!/bin/bash [ -f ~/.bashrc ] && source ~/.bashrc + +# OPAM configuration +. /home/tobast/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true