首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >以编程方式更改Gnome终端主题

以编程方式更改Gnome终端主题
EN

Stack Overflow用户
提问于 2009-06-10 09:42:09
回答 5查看 9.2K关注 0票数 19

我想在我的本地机器(Ubuntu GNOME)上创建一个设置,这样终端窗口就会有不同的背景颜色,这取决于我是登录到本地机器还是ssh登录到远程机器。

有没有办法做到这一点?

EN

回答 5

Stack Overflow用户

发布于 2009-06-10 10:52:39

您可能希望将这些选项签出到gnome-terminal:

代码语言:javascript
复制
gnome-terminal --help

给出

代码语言:javascript
复制
 --window-with-profile=PROFILENAME

将其封装在shell脚本中:

代码语言:javascript
复制
#!/bin/bash
gnome-terminal --window-with-profile=PROFILENAME

那就这么做

代码语言:javascript
复制
ssh-term

如果您想更改更多内容,请查看aterm和其他术语。还可以看看Devilspie,它可以根据窗口标题(移除窗口装饰等)进行更多的动态更改。

http://burtonini.com/blog/computers/devilspie

票数 3
EN

Stack Overflow用户

发布于 2009-06-10 11:54:13

你可能想看看GConf。Gnome的注册表基本上就是Windows的注册表。大多数Gnome应用程序都使用它来存储设置。您可以使用诸如GConf-Editor之类的工具或从命令行使用gconftool-2来浏览它

代码语言:javascript
复制
$ 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库绑定。

票数 3
EN

Stack Overflow用户

发布于 2014-01-11 03:08:50

我有一些gnome-terminal的脚本可以达到这个目的。你可以在https://github.com/xyrix/gnome-terminal-profile-switcher上找到它们

该脚本的工作方式是为所有终端创建临时配置文件,然后更改要从普通配置文件复制的临时配置文件中设置的值。

这允许您通过脚本更改当前gnome终端的配置文件。

存储库中包含一个示例"safe_ssh“脚本,用于演示用法。

票数 3
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/974599

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档