如果我在打开多个选项卡的情况下运行 gnome-terminal，是否可以在 bash 提示符下切换给定选项卡的配置文件，即时生效，并且不更改其他选项卡的配置文件？
我了解如何使用 gconftool 或 gconftool-2 更改配置文件的元素（例如背景），但我不知道如何实际切换特定选项卡或窗口的配置文件。
任何建议表示赞赏。
Hackett
问问题
11822 次
4 回答
5
它并没有特别回答您的问题，但是由于它可能对其他人有所帮助，因此无论如何我都将其留在这里。
如果有办法更改当前配置文件，您可以为每个选项卡设置不同的配置文件。
您可以使用以下方式列出所有现有配置文件：
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
于 2014-06-18T17:39:04.700 回答
2
我认为您可以通过 gconf-editor 执行此操作，该编辑器维护 gnome 中所有内容的设置。请参阅 gconf-editor手册和gnome-terminal部分。
从终端，您可以使用gconftool-2进行更改
于 2009-03-18T23:41:17.870 回答
1
我正在研究类似的东西，我认为它可以帮助您使用gnome-terminal --help
它会向您显示一些命令，您可以使用这些命令打开具有某些配置文件的终端，您需要弄清楚如何在提示符下编写该行以使用选项卡和您想要的配置文件....一旦您弄清楚了困难的部分，您就可以将该行添加到您的 bashrc
运行nano ~/.bashrc以打开 bash 配置文件，每次打开终端时都会运行该文件。然后将该行添加到底部保存并关闭。
于 2012-04-27T03:10:21.447 回答
0
尽管问题是关于 GNOME 终端和命令行的，但值得知道的是，MATE 终端（一个 GNOME 终端分支）允许通过简单的键盘快捷键切换配置文件。
于 2021-10-25T11:07:01.957 回答