I also change the prompt colour according to server. I can tell at a glance which machine I'm on (plus the hostname of course). It means having a slightly dif

I also change the prompt colour according to server. I can tell at a glance which machine I'm on (plus the hostname of course). It means having a slightly difference .bashrc for each machine, but it's trivial.