Comment puis-je faire OS X remettre le titre du terminal sur le titre d'origine en revenant de ssh?

À partir d'OS X, je ssh dans foo (une boîte Linux). Le titre de mon terminal devient foo. J'ai ensuite ssh dans bar (une autre boîte Linux). Le titre de mon terminal devient barre. Je me déconnecte du bar. Le titre de mon terminal devient foo. Je me déconnecte de foo. Mon titre de terminal reste foo (plutôt que de revenir au titre d'origine). Le problème n'est évidemment pas avec le terminal, car il fonctionne correctement lors de la déconnexion d'une boîte Linux vers une boîte Linux. Ce n'est probablement pas ssh car j'ai le même problème avec vim. Dans mon esprit, cela laisse la coquille. J'utilise BASH. En regardant dans l'environnement, je ne vois pas beaucoup de différence entre la boîte Linux et ma boîte OS X. Les deux utilisent un TERM de xterm.

Ajouter

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

à mon .bash_profilefixe le problème.

Il semble que la chaîne dans PROMPT_COMMANDsoit exécutée chaque fois que l'invite est affichée. Depuis la page de manuel:

PROMPT_COMMAND

S'il est défini, la valeur est exécutée en tant que commande avant d'émettre chaque invite principale.