Antworten:
In der Version von gnome-terminal habe ich (3.2) eine Option unter:
Bearbeiten - & gt; Profileinstellungen - & gt; Titel und Befehl
"Wenn Terminalbefehle ihren eigenen Titel festlegen" mit einem Dropdown-Feld. Eine der Optionen ist "Ursprünglichen Titel behalten".
Das sollte es tun :)