Re: gnome-terminal window titles

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\$ '
  export PS1='\u \h:\w\$ '

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

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]