Re: gnome-terminal title

[Torsten Reuss <t.reuss@gmx.net>]

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