O comportamento padrão PROMPT_COMMAND
é definido em /etc/bashrc
e adiciona o caminho para o diretório de trabalho para o título da janela de uma maneira que preserva a funcionalidade Same Working Directory (como file://
URL), e ainda permite navegar para diretórios ancestrais por < kbd> Comando -clicando a barra de título.
Se você também quiser definir o título da guia como o nome base do diretório de trabalho, será necessário preservar o original PROMPT_COMMAND
. No arquivo de inicialização do shell do perfil do usuário escolhido, use o seguinte:
function set_tab_title {
echo -n -e "3]0;${PWD##*/}function set_tab_title {
echo -n -e "3]0;${PWD##*/}%pre%7"
}
PROMPT_COMMAND="set_tab_title ; $PROMPT_COMMAND"
7"
}
PROMPT_COMMAND="set_tab_title ; $PROMPT_COMMAND"