Moved some settings from .bash_local to .bashrc