www.greg-wright.co.uk

Put this in your .bashrc(s):

export PS1='\[\e]0;`hostname`\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

Now whenever you log into a remote machine the title in the gnome-terminal will change to the name of the host. When you log out it changed back.

Very neat!