I've set up my .bash_profile to colour code the hostname in the command prompt differently depending on which machine I'm on. I have a separate file for specifying the host colours, which is sourced ...