如果我在运行带有多个选项卡的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