diff --git a/.bashrc b/.bashrc index 1dfc991..86183a8 100644 --- a/.bashrc +++ b/.bashrc @@ -68,3 +68,4 @@ mesg n # OPAM configuration . /home/amgutier/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true +eval `opam config env`