nome terminal / separadores

13

Existe uma maneira de nomear uma janela do 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 que executa o elasticsearch recebe o nome java

locojay
fonte

Respostas:

11

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

Wuffers
fonte
5
Ou pressione Cmd-Ipara chamar o inspetor.
Daniel Beck
2
Shift-Command-I (Shell> Editar título) também mostra o Inspetor e garantirá que ele selecione o painel Informações.
21711 Chris Página
1
No Mac OS X Lion 10.7, o Inspetor do Terminal também suporta a configuração do título da guia separadamente do título da janela.
21711 Chris Página
14

Bem.

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

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

bubu
fonte
3
Ou, ainda mais curto, você pode usar em echo -nevez de echo -n -e.
Wuffers
1
Parece-me que as piadas Rússia soviética não são bem recebidos aqui ...
bubu
5
Observe que "0" define a janela e o título da guia. No Mac OS X Lion 10.7, você pode configurá-los independentemente, usando "1" (título da guia) e "2" (título da janela).
21711 Chris Página
3
Eu recomendo usar printf em vez de eco, porque é mais simples e mais portátil (a opção "-n" não é definido no POSIX):printf '\e]0;...\a'
Chris Page
2
Se você estiver interessado em saber como isso funciona, ele usa uma sequência de escape do XTerm (também conhecida como sequência de controle). Uma lista completa de seqüências está disponível aqui .
TachyonVortex
2

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

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

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

Stuart Douglas
fonte