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
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
.
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
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
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
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
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
, 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