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

Question

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

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

任何建议表示赞赏.

Answer 1

它并没有特别回答您的问题，但由于它可能对其他人有所帮助，因此无论如何我都将其留在这里。

如果有办法更改当前配置文件，您可以为每个选项卡设置不同的配置文件。

您可以使用以下方法列出所有现有配置文件：

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

Answer 2

我认为你可以通过 gconf-editor 来做到这一点，它维护 gnome 中所有内容的设置。请参阅 gconf-editor手册和gnome-terminal部分。

从终端，您可以使用gconftool-2进行更改