mass update.

[my-dotfiles.git] / bash_profile

diff --git a/bash_profile b/bash_profile
index d05411c..ea3b693 100644 (file)
--- a/bash_profile
+++ b/bash_profile
@@ -4,3 +4,5 @@ if [ -f ~/.bashrc ]; then
        source ~/.bashrc
 fi
 
+# opam configuration
+test -r /home/danix/.opam/opam-init/init.sh && . /home/danix/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true