Re: change gnome-terminal title from cmdline

2009-09-29 Thread Phil Meyer
On 09/26/2009 10:42 PM, bruce wrote: hey... curious question... how does one go about changing the title of the current gnome-terminal via the cmdline... it appears that the escape sequences i've tried aren't working... thoughts/comments/pointers appreciated... thanks Here is a bit

change gnome-terminal title from cmdline

2009-09-26 Thread bruce
hey... curious question... how does one go about changing the title of the current gnome-terminal via the cmdline... it appears that the escape sequences i've tried aren't working... thoughts/comments/pointers appreciated... thanks -- fedora-list mailing list fedora-list@redhat.com To