Another question ... What if you move your "export PS1=..." to ~/.bashrc instead of ~/.bash_profile? Any difference?
Another question ... What if you move your "export PS1=..." to ~/.bashrc instead of ~/.bash_profile? Any difference?