Integrate machine-specific ENV variables

~/.profile_local can now be used to define machine-specific ENV
variables and other shell initialization logic.
This commit is contained in:
Alexander Hess 2023-09-13 11:52:33 +02:00
parent 6e0c93760a
commit 5edfc00f08
Signed by: alexander
GPG key ID: 344EA5AB10D868E0

View file

@ -78,3 +78,9 @@ if [ -n "$BASH_VERSION" ]; then
source "$HOME/.bashrc"
fi
fi
# Source ~/.profile_local, which holds machine-specific ENV variables
if [ -f "$HOME/.profile_local" ]; then
source "$HOME/.profile_local"
fi