linux – 从命令行切换GNOME终端配置文件

发布时间：2020-12-13 19:48:27 所属栏目：Linux 来源：网络整理

导读：如果我在运行带有多个选项卡的gnome-terminal,是否可以在bash提示符下切换给定选项卡的配置文件,立即生效,而不更改其他选项卡的配置文件？我理解如何使用gconftool或gconftool-2来更改配置文件的元素(例如背景),但我不知道如何实际切换特定选项卡或窗口的配

如果我在运行带有多个选项卡的gnome-terminal,是否可以在bash提示符下切换给定选项卡的配置文件,立即生效,而不更改其他选项卡的配置文件？

我理解如何使用gconftool或gconftool-2来更改配置文件的元素(例如背景),但我不知道如何实际切换特定选项卡或窗口的配置文件.

任何建议表示赞赏.

这不是你的问题,但是因为它可能对其他人有所帮助,所以无论如何都把它留在这里.

如果有办法更改当前配置文件,则每个选项卡可以有不同的配置文件.

您可以使用以下列出所有现有配置文

gconftool-2 --all-dirs /apps/gnome-terminal/profiles

您可以使用以下方式获取当前配置

gconftool-2 --get /apps/gnome-terminal/global/default_profile

您可以使用以下方法设置新的默认配置文件(在这种情况下为solarized-light)：

gconftool-2 --set --type string /apps/gnome-terminal/global/default_profile solarized-light

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!