#
# ~/.bash_profile
[[ -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