Bagaimana cara membuat OS X mengatur judul terminal kembali ke judul asli ketika kembali dari ssh?

Mulai dari OS X, saya ssh ke foo (kotak Linux). Judul terminal saya berubah menjadi foo. Saya kemudian ssh ke bar (kotak Linux lain). Judul terminal saya berubah menjadi bilah. Saya keluar dari bar. Judul terminal saya berubah menjadi foo. Saya keluar dari foo. Judul terminal saya tetap foo (daripada mengubah kembali ke judul aslinya). Masalahnya jelas bukan pada terminal, karena ia bekerja dengan benar ketika keluar dari kotak Linux kembali ke kotak Linux. Mungkin bukan ssh karena saya memiliki masalah yang sama dengan vim. Dalam pikiranku yang meninggalkan cangkang. Saya menggunakan BASH. Melihat melalui lingkungan saya tidak melihat banyak perbedaan antara kotak Linux dan kotak OS X saya. Keduanya menggunakan TERM of xterm.

Menambahkan

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

untuk saya .bash_profilememperbaiki masalahnya.

Tampaknya seolah-olah string dalam PROMPT_COMMANDdieksekusi setiap kali prompt ditampilkan. Dari halaman manual:

PROMPT_COMMAND

Jika diatur, nilai dieksekusi sebagai perintah sebelum mengeluarkan setiap prompt utama.