Sommige programma's, zoals mpg123, veranderen de titel van de terminal van
waaruit je ze opstart. Maar ze zetten het niet meer terug! Of je vindt het
misschien wel leuk om de titel van de terminal te veranderen. Je kunt dat
voor elkaar krijgen met:
echo -n -e "\033]2;een nieuwe titel\007".
De 033 is octaal voor ESC en 007 voor ^G.