Gnome: altera o título do terminal atual da linha de comando do bash

9

Eu sei que existem opções para iniciar um novo terminal com um título especificado, e isso é possível alterar o título de um terminal usando o menu: 'Terminal' -> Definir título.

No entanto, quero alterá-lo para um terminal atual na linha de comando. Como posso alterar o título de um terminal Gnome existente na linha de comando?

bash gnome ubuntu-11.04 gnome-terminal Sander
fonte

Respostas:

13

Saída de uma seqüência de escape xterm adequada.

echo -ne '\033]0;New title\007'

Veja também Como alterar o título de um xterm .

triplo
fonte
Perfeito, é isso! : D Além disso, obrigado pelo link muito interessante.
Sander
Bom, mas é compatível com várias plataformas?
l0b0
11
@ tripleee: Normalmente, é recomendável usar tputcomandos para imprimir essas seqüências de escape, conforme mencionado nesta duplicata exata .
L0b0 21/03/12
11
Obrigado pela contribuição! No entanto, não considero esta questão uma duplicata exata da que você mencionou. O contexto da outra questão é muito diferente.
Sander
2
Isto já não parece funcionar
kapad
0

Pode valer a pena experimentar o KDE. Ele tem janelas com guias nos terminais e cada guia pode ser nomeada apenas clicando com o botão direito do mouse na guia.

Scott C Wilson
fonte
Obrigado por sua sugestão, no entanto, eu ainda gosto com Gnome :)
Sander
0

Se você precisar defini-lo como o nome do host em que está conectado, poderá usar:

eco -ne "\ 033] 0; $ {HOSTNAME} \ 007"
Benjamin Goodacre
fonte
0

Se você estiver usando o Ubuntu 16.04, pode ser necessário limpar o PS1 e o PROMPT_COMMAND como:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Eu montei um artigo sobre ele no link .

Zach Pfeffer
fonte