.bash_profile and terminal settings