Nom de l'onglet du terminal OS X Le répertoire actuel provoque un nom en double dans la barre de titre

Sous OS X (10.9.3), je règle PROMPT_COMMAND pour définir le nom de l’onglet du terminal sur le répertoire actuel, tel que

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

PROMPT_COMMAND="set_tab_title; $PROMPT_COMMAND"

J'ai ajouté le $PROMPT_COMMANDpour m'assurer de conserver le comportement d'ouverture de nouveaux onglets dans le répertoire de travail actuel. Le problème est maintenant que la fenêtre à onglet affiche le nom du dossier deux fois. Capture d'écran ci-dessous. Des idées pourquoi c'est? entrez la description de l'image ici

macos terminal

— Jeff Storey
source

Pareil ici. Je pense que c’est parce que l’impression existante update_terminal_cwd()dans la valeur par défaut $PROMPT_COMMANDet le remplacement de la barre de titre sortent le répertoire. Peut-être y a-t-il un moyen de définir le répertoire actuel sans sortir le répertoire?

— Jason