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

2

Anteriormente, mudei meu título gnome-terminal para exibir em qual servidor eu 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 gnome com:

gnome-terminal --title=$PWD

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

Eu olhei através das configurações do terminal também. Alguma idéia de onde eu poderia ter feito essa mudança? Correndo no CentOS.

— mr odus
fonte

Qual é o seu PS1 variável?

— Aluísio A. S. G.

Aqui está: [16:08] ~ & gt; echo $ PS1 [\ e] 2; \ h \ a] [\ A] \ W & gt; [\ e [0m]

— mr odus

2

Você pode fazer isso por:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

notar - você precisa do wmctrl pacote primeiro.

fonte

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

— Lorenzo Von Matterhorn
fonte

Pare de pedir desculpas por respostas curtas - isso é muito adequado OMI. :) Mas se você realmente Não sinta que tem tempo para postar uma resposta decente, por favor, não poste uma. :)

— Ƭᴇcʜιᴇ007

O mesmo problema, o título irá piscar "MyWindowTitle" e depois voltar para o hostname.

— mr odus

0

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

— hfox
fonte

Sim, isso provavelmente seria melhor como um comentário sobre a questão, mas desde que eu não tenho permissão para comentar sobre outra coisa que não a minha, isso tinha que ser uma resposta.

— hfox