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
