If I start gnome-terminal --title foo and turn it into an icon, the
icon's text still says Terminal.
Interestingly, if I use the xterm escape characters to update the
titlebar (echo ^[]0;foo^G), and then turn the terminal into an icon,
the icon's text then shows foo.
Is this a bug in gnome
Bill Wohler [EMAIL PROTECTED] wrote:
If I start gnome-terminal --title foo and turn it into an icon, the
icon's text still says Terminal.
Interestingly, if I use the xterm escape characters to update the
titlebar (echo ^[]0;foo^G), and then turn the terminal into an icon,
the icon's text
Thomas Dickey [EMAIL PROTECTED] writes:
Bill Wohler [EMAIL PROTECTED] wrote:
If I start gnome-terminal --title foo and turn it into an icon, the
icon's text still says Terminal.
Interestingly, if I use the xterm escape characters to update the
titlebar (echo ^[]0;foo^G), and then turn
Is there a way to change the title of a gnome-terminal window?
I see that some programs (e.g. vim) do it but others (e.g. mysql) do not
and it would be nice to know which was which in a list of icons.
Thanks, Dave
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe.
Dave Howorth wrote:
Is there a way to change the title of a gnome-terminal window?
I see that some programs (e.g. vim) do it but others (e.g. mysql) do
not and it would be nice to know which was which in a list of icons.
Thanks, Dave
Have a look at the XTerm title mini howto
$ apt-get install
Dave Howorth wrote:
Is there a way to change the title of a gnome-terminal window?
Ashish Ariga replied:
Depends on your terminal (echo $TERM).
Commonly it is Esc]0;YourTextCtrl-G
eg. printf ^[]0;MyTitle^G
Torsten Reuss replied:
Have a look at the XTerm title mini howto
$ apt-get install
6 matches
Mail list logo