BASH: source .bashrc.local