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

Reply via email to