Posso alterar a cor da guia do terminal com base no título?

Question

Por engano, eu executei um comando no computador errado porque não percebi que era SSHed em meu Pi:

Felizmente, nada deu errado, mas eu gostaria que eu pudesse alterar as cores do terminal (por exemplo, o plano de fundo ou a cor da guia) com base no título do terminal (nesse caso, pi@Kite ou tim@Hairy17 ).

Estou pensando em algo assim:

    

Answer 1

gnome-terminal não permite alterar a cor da guia e não fornece nenhum meio automático de alterar a cor de segundo plano com base no título. Ele fornece um meio explícito de alterar a cor do plano de fundo, por exemplo:

echo -ne '\e]11;#abcdef\a'

Se você gosta disso, recomendo conectá-lo ao seu prompt de shell em todos os hosts que você usa (incluindo o local) (por exemplo, PS1=$'...\[\e]11;#abcdef\a\]...' , com cores variadas, claro) para que seja revertido quando você sair do ssh .

Observe que essa abordagem altera a cor do plano de fundo de todo o histórico do terminal (da mesma forma que a alteração da cor do segundo plano nas configurações do perfil), em vez de apenas a saída produzida no host fornecido.

A propósito, simplesmente ter um prompt de shell diferente (talvez consistindo em cores diferentes) já poderia ajudar muito.