答案1
gnome-terminal
不允许您更改标签颜色,也不提供任何基于标题自动更改背景颜色的方法。它提供了一种显式更改背景颜色的方法,例如:
echo -ne '\e]11;#abcdef\a'
如果您喜欢这个,我建议将它挂接到您使用的所有主机(包括本地主机)的 shell 提示符上(例如PS1=$'...\[\e]11;#abcdef\a\]...'
,当然使用不同的颜色),以便在退出 ssh 时恢复它。
请注意,此方法会更改终端所有历史记录的背景颜色(类似于更改配置文件设置中的背景颜色),而不仅仅是更改给定主机上生成的输出的背景颜色。
顺便说一句,只需使用不同的 shell 提示符(可能由不同的颜色组成)就能提供很大帮助。