Ich würde gerne ein Shellskript schreiben, welches - je nach gerade ausgeführter Aktion - den Titel des Terminals (idealisierterweise eines xterms) dynamisch anpasst. Gentoo's emerge kann das, geht es auch als einfaches Shellskript, statt in Python, etc.
Hiermit kann man in einer interaktiven Shell den Titel ändern:
Code: Select all
PROMPT_COMMAND='echo -ne "\033]0;test\007"'
Code: Select all
echo -ne "\033]0;test\007"
Ach so: Fall sich jemand fragt, warum ich mir nicht einfach das emerge-skript anschaue:
Code: Select all
$ wc /usr/bin/emerge
3207 10513 109430 /usr/bin/emerge