Re: gnome-terminal --title and enlightenment icons

2005-05-10 Thread Bill Wohler
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

Re: gnome-terminal --title and enlightenment icons

2005-05-10 Thread Thomas Dickey
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&q

gnome-terminal --title and enlightenment icons

2005-05-10 Thread Bill Wohler
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

Re: gnome-terminal title

2003-09-16 Thread Dave Howorth
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 "]0;YourText" > eg. printf "^[]0;MyTitle^G" Torsten Reuss replied: Have a look at the XTerm title mini howto $ apt-get install doc-lin

Re: gnome-terminal title

2003-09-16 Thread Torsten Reuss
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 d

gnome-terminal title

2003-09-16 Thread Dave Howorth
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". T