nome do terminal / guias

Question

Existe uma maneira de nomear uma janela de terminal ou, melhor ainda, atribuir um nome a cada guia. no momento eles apenas pegam o nome do processo subjacente: por exemplo, uma aba rodando elasticsearch pega o nome java

    

Answer 1

Você pode usar a solução da @bubu, ou clicar com o botão direito do mouse na aba, selecionar "Inspect Tab" e definir o título de lá.

    

Answer 2

Bem.

echo -n -e "3]0;In soviet russia, the title bar sets you
echo -n -e "3]0;In soviet russia, the title bar sets you%pre%7"
7"

irá definir o seu título para "Na Rússia soviética, a barra de título define você"

    

Answer 3

Se você fizer isso com frequência, você pode tornar a resposta de @ bubu uma função em seu bash_profile , assim:

tab() {
    echo -ne "3]0;$*
tab() {
    echo -ne "3]0;$*%pre%7"   
}
7"   
}

E, em seguida, basta chamá-lo seguido pelo nome da guia, por exemplo tab Tab Title with Spaces!