Die Einstellung des Terminaltitels ist einfach mit echo -e "\e]0;some title\007" . Funktioniert mit so gut wie jedem Terminalprogramm.
Ich möchte den Terminaltitel setzen, wenn ein Programm startet - und den alten wiederherstellen, wenn es beendet ist. Ist dies möglich?
