works for gnome-terminal too. lots of you probably know this, but i just figured it out today. in your .bash_profile or .bashrc or whatever:
title() {
printf "\033]0;$*\007"
}
then just use the command 'title newtitle' and your xterm or
gnome-terminal window title will change to newtitle.
or if you don't run bash, you could just create a script called title, and
put it in your path:
--title.sh
#!/bin/sh
printf "\033]0;$*\007"
--title.sh
-Lkb
