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

前端之家收集整理的这篇文章主要介绍了linux – 从命令行切换GNOME终端配置文件前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
如果我在运行带有多个选项卡的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
原文链接:https://www.f2er.com/linux/393315.html

猜你在找的Linux相关文章