diff options
Diffstat (limited to 'dotfiles')
| -rw-r--r-- | dotfiles/profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dotfiles/profile b/dotfiles/profile index fcf5612..3be0749 100644 --- a/dotfiles/profile +++ b/dotfiles/profile @@ -30,6 +30,9 @@ fi # TODO: umask? +# source the machine-local configuration +[ -r "$HOME/.config/profile_local.sh" ] && . "$HOME/.config/profile_local.sh" + # when running bash, include .bashrc if it exists if [ -n "$BASH_VERSION" -a -f "$HOME/.bashrc" ]; then . "$HOME/.bashrc" |