Título de la pestaña de terminal después de la sesión SSH

En Mac OS X (estoy en 10.6.8, aunque creo que otras versiones son las mismas), pasar a una máquina remota cambia el título de la pestaña actual en Terminal. Molesto, cuando me desconecto de la máquina remota, ya sea explícitamente exito mediante un tiempo de espera, el título de la pestaña no vuelve a ser lo que era.

Casi a diario, esto casi me causa un ataque al corazón, cuando escribo un comando u otro, solo para ver por el rabillo del ojo que la pestaña todavía se llama user @ remotehost. Soy un usuario cauteloso que siempre tiende a pwdetc. para confirmar mi ubicación antes de hacer nada, pero aún así me atrapa en un momento de pánico cuando lo estoy haciendo DROP DATABASE xy veo el nombre del host remoto en la pestaña.

En pocas palabras, ¿hay alguna forma de revertir este título cuando me desconecto de un host remoto, o tengo que seguir abriendo una nueva pestaña cada vez que me desconecto, para restablecer el título?

Agregue un PROMPT_COMMANDa su .bash_profile

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

Se PROMPT_COMMANDejecuta cada vez que se muestra el mensaje.

Tenga en cuenta que incluimos la PROMPT_COMMANDvariable de entorno existente , de modo que no perdamos ninguna configuración existente (es decir update_terminal_cwd).

Esto es lo que necesitará pegar en su .bash_profilearchivo. Esto es mucho más limpio y toma el enfoque que Apple hace cuando actualiza su directorio de trabajo actual. La verificación de la variable update_term_titleya está presente no es realmente necesaria (como nadie llama bash -- login), sino que solo está presente como guardia.

if [ -z "$INSIDE_EMACS" ]; then
    # Update the terminal title on every prompt shown
    update_term_title() {
        # Print user@short-hostname once SSH quits.
        echo -ne "\033]0;${USER}@${HOSTNAME%%.*}\007"
        # Or ${HOSTNAME} if short host names aren't your taste
        # Or echo -ne "\033]0;\007" if you don't want anything.
    }
    # Check to see if update terminal title is present?
    if ! echo $PROMPT_COMMAND | grep -q update_term_title
    then
       # This function is not found in PROMPT_COMMAND, add it
       PROMPT_COMMAND="${PROMPT_COMMAND:+$PROMPT_COMMAND; }update_term_title"
    fi
fi