On Sat, Sep 05, 2015 at 10:57:35PM +0200, Paul van der Vlis wrote:
> Op 04-09-15 om 10:46 schreef Wouter Verhelst:
> >
> > Daar schrijf je toch gewoon een script voor?
>
> Hmm, dat is misschien helemaal geen gek idee!
> Via de commandline is vast ook de titel in te stellen.
>
Zo heb ik 'title' in mijn PATH staan.
$ cat $(which title )
echo -ne "\033]0;${@}\007"
aanroepen met nieuwe titel als parameter
Groeten
Geert Stappers
--
Leven en laten leven