diff options
| author | Anton Khirnov <anton@khirnov.net> | 2020-11-03 13:51:09 +0100 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2020-11-03 13:51:09 +0100 |
| commit | dc7b00df4ba7cf2b7d7e20971fb13213b9c96e14 (patch) | |
| tree | 41c9b412e677925c4b2e2ce222de18eaa42a502d /dotfiles | |
| parent | 560d0b210db07d992ea5e0690a501c36c06c6cb8 (diff) | |
profile: allow machine-local configuration
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" |