RE: gnome-terminal question

2009-09-28 Thread bruce
PM To: fedora-list@redhat.com Subject: Re: gnome-terminal question On 09-09-27 19:19:48, Richard England wrote: On 09/27/2009 02:09 PM, bruce wrote: hey... trying to solve an issue on changing the title of the current gnome-terminal session. how does one go about changing the title

Re: gnome-terminal question

2009-09-28 Thread Dave Cross
2009/9/27 bruce bedoug...@earthlink.net: hey... trying to solve an issue on changing the title of the current gnome-terminal session. how does one go about changing the title of the current gnome-terminal via the cmdline... i'm trying to figure out if you can use escape sequences, or

RE: gnome-terminal question

2009-09-28 Thread bruce
. Subject: Re: gnome-terminal question 2009/9/27 bruce bedoug...@earthlink.net: hey... trying to solve an issue on changing the title of the current gnome-terminal session. how does one go about changing the title of the current gnome-terminal via the cmdline... i'm trying to figure out

Re: gnome-terminal question

2009-09-27 Thread Hiisi
2009/9/28 bruce bedoug...@earthlink.net: hey... trying to solve an issue on changing the title of the current gnome-terminal session. how does one go about changing the title of the current gnome-terminal via the cmdline... i'm trying to figure out if you can use escape sequences, or

RE: gnome-terminal question

2009-09-27 Thread bruce
Fedora. Subject: Re: gnome-terminal question 2009/9/28 bruce bedoug...@earthlink.net: hey... trying to solve an issue on changing the title of the current gnome-terminal session. how does one go about changing the title of the current gnome-terminal via the cmdline... i'm trying to figure

Re: gnome-terminal question

2009-09-27 Thread Richard England
On 09/27/2009 02:09 PM, bruce wrote: hey... trying to solve an issue on changing the title of the current gnome-terminal session. how does one go about changing the title of the current gnome-terminal via the cmdline... i'm trying to figure out if you can use escape sequences, or modifying

Re: gnome-terminal question

2009-09-27 Thread Tony Nelson
On 09-09-27 19:19:48, Richard England wrote: On 09/27/2009 02:09 PM, bruce wrote: hey... trying to solve an issue on changing the title of the current gnome-terminal session. how does one go about changing the title of the current gnome-terminal via the cmdline... i'm trying to

RE: gnome-terminal question

2009-09-27 Thread bruce
, September 27, 2009 5:36 PM To: fedora-list@redhat.com Subject: Re: gnome-terminal question On 09-09-27 19:19:48, Richard England wrote: On 09/27/2009 02:09 PM, bruce wrote: hey... trying to solve an issue on changing the title of the current gnome-terminal session. how does one go