Gostaria apenas de definir a barra de título do Gnome, que mostra o que você definiu no topo da janela.
Para evitar que o bash altere o uso do título:
PROMPT_COMMAND=''
PS1='$ '
(o PROMPT_COMMAND ou o PS1 pode tentar alterar a barra de título) e, em seguida, definir o título com:
echo -ne "3]0;new title with port number foundif [ ! -z "$SSH_CLIENT" ] ; then
PS1='$ '
fi
7"
Verifique se o seu PS1 no servidor também não está configurando o título. Para isso você pode testar no seu ~/.bashrc
:
ssh -t user@server "PROMPT_COMMAND='' bash -l"
(o acima foi necessário em um servidor rodando o Ubuntu 12.04).
E execute seu comando ssh
:
PROMPT_COMMAND=''
PS1='$ '
Seu PS1 e PROMPT_COMMAND podem ser mais complexos, contanto que eles não tentem definir a barra de título por meio de alguma seqüência de escape (usando 3]0;
ou \e]0;
)
Qualquer solução envolvendo tmux
, screen
e qualquer reserva baseada em maldições de uma linha da tela desativa a rolagem apropriada com a barra de rolagem do terminal Gnome.