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 doc-linux-text $ zless /usr/share/doc/HOWTO/en-txt/mini/Xterm-Title.gz
Then write your own scripts that change the title before starting e.g. mysql.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]