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.
PS1
variável?Respostas:
Você pode fazer isso por:
notar - você precisa do wmctrl pacote primeiro.
fonte
Você pode encontrar mais soluções possíveis na fonte determinada.
fonte
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.fonte