gpt4 book ai didi

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

转载 作者:IT王子 更新时间:2023-10-29 00:20:41 26 4
gpt4 key购买 nike

如果我在打开多个选项卡的情况下运行 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 终端配置文件,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/660442/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com