diff options
Diffstat (limited to '')
| -rw-r--r-- | .bash_profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.bash_profile b/.bash_profile index 984e8a9..3b332c1 100644 --- a/.bash_profile +++ b/.bash_profile @@ -10,7 +10,7 @@ export PATH [[ -f ~/.bashrc ]] && . ~/.bashrc -source ~/.setup/.bash_profile.local +source ~/.mycfg/.bash_profile.local # opam configuration test -r /home/benj/.opam/opam-init/init.sh && . /home/benj/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true |