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 que é 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 do Gnome existente na linha de comando?

    
por Sander 12.03.2012 / 13:44

4 respostas

12

Envie uma sequência de escape xterm adequada.

echo -ne '3]0;New title
echo -ne '3]0;New title%pre%7'
7'

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

    
por 12.03.2012 / 19:28
0

Se você precisar configurá-lo para o nome do host onde você está logado, você pode usar:

echo -ne "3]0;${HOSTNAME}
echo -ne "3]0;${HOSTNAME}%pre%7"
7"
    
por 25.03.2014 / 17:59
0

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

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

Eu montei um artigo sobre isso em link .

    
por 11.06.2018 / 10:33
-1

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

    
por 12.03.2012 / 19:32