El nombre de la pestaña del terminal de OS X El directorio actual provoca un nombre duplicado en la barra de título

El nombre de la pestaña del terminal de OS X El directorio actual provoca un nombre duplicado en la barra de título

En OS X (10.9.3) estoy configurando PROMPT_COMMAND para establecer el nombre de la pestaña del terminal en el directorio actual, como

function set_tab_title {
  printf "\e]0;${PWD##*/}\a"
}

PROMPT_COMMAND="set_tab_title; $PROMPT_COMMAND"

Agregué $PROMPT_COMMANDpara asegurarme de mantener el comportamiento de abrir nuevas pestañas en el directorio de trabajo actual. El problema ahora es que la ventana de pestañas muestra el nombre de la carpeta dos veces. Captura de pantalla a continuación. ¿Alguna idea de por qué es esto? ingrese la descripción de la imagen aquí

información relacionada