Como posso alterar o título do meu terminal gnome?

Question

Anteriormente, mudei meu título do gnome-terminal para exibir em qual servidor estava logado. Não me lembro como fiz isso e não posso mudar agora.

Eu corri através do meu .bashrc e não encontrei nada que pudesse configurá-lo, e loguei como su. Como superusuário, o título também muda.

Eu verifiquei meu arquivo .Xdefaults ... nada

Eu tentei abrir um terminal do gnome com:

gnome-terminal --title=$PWD 

Qualquer título que eu configure com o comando acima ou PROMPT_COMMAND será mostrado por meio segundo e depois reverterá para o nome do meu servidor.

Também examinei as configurações do terminal. Alguma idéia de onde eu poderia ter feito essa mudança? Rodando no CentOS.

    

Answer 1

Você pode fazer isso por:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

para anotar - você precisa primeiro do pacote wmctrl .

fonte

Você pode encontrar mais soluções possíveis na fonte determinada.

    

Answer 2

Provavelmente está usando códigos de escape do shell assim:
echo -ne "3]2;hellohello7"
Isso definirá o título do terminal como gnome-terminal -> shell(e.g. bash) -> ssh user@othermachine -> bash . E a partir da descrição eu acho que você está fazendo algo assim:
%code% Nesse caso, você precisa procurá-lo na máquina local, pode ser algo que o bash ou o ssh esteja fazendo.