我想在我的本地机器(Ubuntu GNOME)上创建一个设置,这样终端窗口就会有不同的背景颜色,这取决于我是登录到本地机器还是ssh登录到远程机器。
有没有办法做到这一点?
发布于 2009-06-10 10:52:39
您可能希望将这些选项签出到gnome-terminal:
gnome-terminal --help
给出
--window-with-profile=PROFILENAME
将其封装在shell脚本中:
#!/bin/bash
gnome-terminal --window-with-profile=PROFILENAME
那就这么做
ssh-term
如果您想更改更多内容,请查看aterm和其他术语。还可以看看Devilspie,它可以根据窗口标题(移除窗口装饰等)进行更多的动态更改。
发布于 2009-06-10 11:54:13
你可能想看看GConf。Gnome的注册表基本上就是Windows的注册表。大多数Gnome应用程序都使用它来存储设置。您可以使用诸如GConf-Editor之类的工具或从命令行使用gconftool-2
来浏览它
$ gconftool-2 --all-entries /apps/gnome-terminal/profiles/Default
background_color = #000000000000
palette = #2E2E34343636:#CCCC00000000 [ snipped ]
... many more lines
您将在此处找到可通过Preferences对话框访问的所有设置,以及更多设置。密钥也可以使用--set
进行更改,详情请参见"man gconftool-2
“。
还有许多编程语言的GConf库绑定。
发布于 2014-01-11 03:08:50
我有一些gnome-terminal的脚本可以达到这个目的。你可以在https://github.com/xyrix/gnome-terminal-profile-switcher上找到它们
该脚本的工作方式是为所有终端创建临时配置文件,然后更改要从普通配置文件复制的临时配置文件中设置的值。
这允许您通过脚本更改当前gnome终端的配置文件。
存储库中包含一个示例"safe_ssh“脚本,用于演示用法。
https://stackoverflow.com/questions/974599
复制相似问题