如果我正在运行gnome-terminal并打开多个标签,是否可以在bash提示下切换给定标签的配置文件,立即生效,而不更改其他标签的配置文件?
我理解如何使用gconftool或gconftool-2来更改配置文件的元素(例如背景),但我不知道如何实际切换特定选项卡或窗口的配置文件。
感谢任何建议。
答案 0 :(得分:4)
这不是你的问题,但是因为它可能对其他人有帮助,所以无论如何都把它留在这里。
如果有办法更改当前配置文件,您可以为每个标签设置不同的配置文件。
您可以使用以下方式列出所有现有的个人资料:
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
答案 1 :(得分:2)
我认为你可以通过gconf-editor来完成这项工作,它可以维护gnome中所有内容的设置。请参阅gconf-editor manual和gnome-terminal部分。
在终端上,您可以使用gconftool-2
进行更改答案 2 :(得分:2)
我正在做类似的事情,我认为它可以帮到你
使用gnome-terminal --help
这将显示一些命令,您可以使用这些命令打开具有某些配置文件的终端
您将需要弄清楚如何在提示符处写入行以打开您想要的标签和配置文件....一旦您找到了困难的部分,您可以将行添加到您的
bashrc中
运行nano ~/.bashrc
打开bash配置文件,每次打开终端时都会运行该文件。然后将该行添加到底部保存并关闭。