Re: oops - gnome-terminal patch v2 :)



On 29 Jul 1999, Miguel de Icaza wrote:

> 
> > This adds a rightclick->set titlebar option to gnome-terminal.  Handy for
> > having dozens of terminals open...
> 
> Wouldnt it be easier to just have a shell script that would set the
> title bar?  You could call it "terminal-control".
> 
> termina-control --title="My Title"

cat >> terminal-control
#!/bin/sh

echo -ne "\033]2;$1\007"
^D

Regards,
Damien Miller

--
| "Bombay is 250ms from New York in the new world order" - Alan Cox
| Damien Miller - http://www.ilogic.com.au/~dmiller
| Email: dmiller@ilogic.com.au (home) -or- damien@ibs.com.au (work)



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]