Wie bringe ich OS X dazu, den Terminal-Titel auf den ursprünglichen Titel zurückzusetzen, wenn ich von ssh zurückkehre?

Unter OS X starte ich mit foo (einer Linux-Box). Mein Terminaltitel ändert sich zu foo. Ich ssh dann in bar (; eine andere Linux-Box). Mein Terminaltitel ändert sich in bar. Ich logge mich aus der Bar aus. Mein Terminaltitel ändert sich zu foo. Ich melde mich von foo ab. Mein Terminaltitel bleibt foo (anstatt zum Originaltitel zurückzukehren). Das Problem liegt natürlich nicht am Terminal, da es beim Abmelden von einer Linux-Box von einer Linux-Box korrekt funktioniert. Es ist wahrscheinlich nicht ssh, da ich das gleiche Problem mit vim habe. In meinen Gedanken verlässt das die Hülle. Ich benutze BASH. Wenn ich durch die Umgebung schaue, sehe ich keinen großen Unterschied zwischen der Linux-Box und meiner OS X-Box. Beide verwenden einen TERM von xterm.

Hinzufügen

export PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'

zu meinem .bash_profilebehoben das problem.

Es sieht so aus, als würde die Zeichenfolge bei PROMPT_COMMANDjeder angezeigten Eingabeaufforderung ausgeführt. Von der Manpage:

PROMPT_COMMAND

Wenn festgelegt, wird der Wert als Befehl ausgeführt, bevor jede primäre Eingabeaufforderung ausgegeben wird.