diff options
author | David Thompson <dthompson2@worcester.edu> | 2022-08-29 12:07:44 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2022-08-29 12:07:44 -0400 |
commit | 068ebe3ea04e3d6c0fe57e2c3986e015f3e03f31 (patch) | |
tree | b61f94a708ef5469849bd07a50164c510312cb04 | |
parent | 2c4cbbe9e5c3d5b47ff7ff96359ac3d51775d9b6 (diff) |
Update bash_profile.
-rw-r--r-- | dotfiles/.bash_profile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dotfiles/.bash_profile b/dotfiles/.bash_profile index 7b48ac7..8e0c3c8 100644 --- a/dotfiles/.bash_profile +++ b/dotfiles/.bash_profile @@ -31,3 +31,8 @@ fi export PATH="$HOME/.config/guix/current/bin${PATH:+:}$PATH" export AWS_REGION="us-east-1" + +if [ -f $HOME/.bash_profile.local ] +then + source $HOME/.bash_profile.local +fi |