On Thu, Jan 25, 2001 at 09:49:20AM -0800, Michael Benedetti wrote: > Is there a simple method of changing an existing gnome-term's title? If > not is there a simple program available to do this? Yes, it's called echo. This also works in your .bashrc and the like: if [ "$DISPLAY" != "" ]; then export PS1='\[\e]0;\u \h - \w\007\]\u \h:\w\$ ' else export PS1='\u \h:\w\$ ' fi The manpage for bash should explain WTF that does. -- Joseph Carter <knghtbrd debian org> Free software developer <woot> Man, i wish knghtbrd were here to grab that for his sig list. [...several hours later...] <Knghtbrd> woot don't know me vewy well, do he? <Knghtbrd> muahahahaha
Attachment:
pgpRJMqFYyHF8.pgp
Description: PGP signature