1 files changed, 4 insertions, 0 deletions
diff --git a/.bashrc b/.bashrc
index e0d64e9..245b45e 100644
--- a/.bashrc
+++ b/.bashrc
@@ -58,3 +58,7 @@ add_path ~/bin
 
 lb=~/."$(uname -n)".bashrc
 [ -f "$lb" ] && . "$lb"
+
+# opam configuration
+test -r /home/rebecca/.opam/opam-init/init.sh && . /home/rebecca/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
+