diff options
| -rw-r--r-- | %HOME%/.bash_profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/%HOME%/.bash_profile b/%HOME%/.bash_profile index a9fc5fa..9cfcef1 100644 --- a/%HOME%/.bash_profile +++ b/%HOME%/.bash_profile @@ -1,2 +1,3 @@ +# I've followed this advice: https://superuser.com/a/789465 [ -r "$HOME/.profile" ] && source "$HOME/.profile" [ -r "$HOME/.bashrc" ] && source "$HOME/.bashrc" |