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

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

总结

以上是内存溢出为你收集整理的linux – 从命令行切换GNOME终端配置文件全部内容，希望文章能够帮你解决linux – 从命令行切换GNOME终端配置文件所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。