Terminal.app themes & .bash_profile concomitant settings