Bash profile: fix opam
This commit is contained in:
parent
1490f89129
commit
68bca0dbff
1 changed files with 3 additions and 0 deletions
|
@ -1,3 +1,6 @@
|
||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
|
|
||||||
[ -f ~/.bashrc ] && source ~/.bashrc
|
[ -f ~/.bashrc ] && source ~/.bashrc
|
||||||
|
|
||||||
|
# OPAM configuration
|
||||||
|
. /home/tobast/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
|
||||||
|
|
Loading…
Reference in a new issue