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?

— Sander
fonte

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