OS X Terminal Nome da guia O diretório atual causa o nome duplicado na barra de título

1

No OS X (10.9.3) estou configurando o PROMPT_COMMAND para definir o nome da guia do terminal como 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_COMMAND para ter certeza de 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. Screenshot abaixo. Alguma idéia porque isso é?

    
por Jeff Storey 03.07.2014 / 04:51

0 respostas