nome terminal/guias

Question

Existe uma maneira de nomear uma janela de terminal ou, melhor ainda, dar um nome a cada guia. no momento, eles apenas obtêm o nome do processo subjacente: por exemplo, uma guia executando elasticsearch recebe o nome java

Answer 1

Você pode usar a solução do @bubu ou clicar com o botão direito na guia, selecionar "Inspecionar guia" e definir o título a partir daí.

Answer 2

Bem.

echo -n -e "\033]0;Na Rússia Soviética, a barra de título define você\007"

definirá seu título como "Na Rússia Soviética, a barra de título define você"

Answer 3

Se você fizer isso com frequência, poderá transformar a resposta do @bubu em uma função no seu bash_profile, assim:

tab() {
    echo -ne "\033]0;$*\007"   
}

E então basta chamá-lo seguido do nome da guia, por exemplotab Tab Title with Spaces!