☰

Nome da guia do terminal OS X Diretório atual causa nome duplicado na barra de título

tag-icon • tag-icon macos terminal
Nome da guia do terminal OS X Diretório atual causa nome duplicado na barra de título

No OS X (10.9.3), estou configurando PROMPT_COMMAND para definir o nome da guia do terminal para o diretório atual, como

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

PROMPT_COMMAND="set_tab_title; $PROMPT_COMMAND"

Eu adicionei o $PROMPT_COMMANDpara garantir que ainda mantenho o comportamento de abrir novas guias no diretório de trabalho atual. O problema agora é que a janela da guia mostra o nome da pasta duas vezes. Captura de tela abaixo. Alguma idéia do porquê disso? insira a descrição da imagem aqui

informação relacionada