Ab OS X ssh in foo (eine Linux-Box). Mein Terminaltitel ändert sich in foo. Ich ssh dann in bar (eine andere Linux-Box). Mein Terminaltitel ändert sich in Balken. Ich melde mich von der Bar ab. Mein Terminaltitel ändert sich in foo. Ich melde mich aus dem Foo ab. Mein Terminaltitel bleibt foo (anstatt zum ursprünglichen Titel zurückzukehren). Das Problem liegt offensichtlich nicht beim Terminal, da es beim Abmelden von einer Linux-Box an eine 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. Beim Durchschauen der Umgebung sehe ich keinen großen Unterschied zwischen der Linux-Box und meiner OS X-Box. Beide verwenden ein TERM von xterm.
Hinzufügen
export PROMPT_COMMAND='echo -ne "\033]0;$@$: $\007"' zu meinem .bash_profileProblem behoben.
Es scheint, als würde die Zeichenfolge in PROMPT_COMMANDjedes Mal ausgeführt, wenn die Aufforderung angezeigt wird. Aus der Manpage:
PROMPT_COMMAND
Wenn festgelegt, wird der Wert vor der Ausgabe jeder primären Eingabeaufforderung als Befehl ausgeführt.