【问题标题】:Switch GNOME Terminal Profile from the command line从命令行切换 GNOME 终端配置文件
【发布时间】:2010-10-14 05:04:22
【问题描述】:

如果我在打开多个选项卡的情况下运行 gnome-terminal,是否可以在 bash 提示符下切换给定选项卡的配置文件,即时生效,并且不更改其他选项卡的配置文件?

我了解如何使用 gconftool 或 gconftool-2 更改配置文件的元素(例如背景),但我不知道如何实际切换特定选项卡或窗口的配置文件。

感谢任何建议。

【问题讨论】:

  • 最好有规则根据提示/标题切换prodile

标签: linux terminal profile gnome


【解决方案1】:

尽管问题是关于 GNOME 终端和命令行的,但值得知道的是,MATE 终端(GNOME 终端分支)允许通过简单的键盘快捷键切换配置文件。

【讨论】:

    【解决方案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
    

    【讨论】:

      【解决方案3】:

      我正在做类似的事情,我认为它可以帮助你 使用gnome-terminal --help 这将向您显示一些可用于打开具有某些配置文件的终端的命令 您将需要弄清楚如何在提示时编写该行以使用您想要的选项卡和配置文件打开....一旦您弄清楚了困难的部分,您就可以将该行添加到您的 .bashrc

      运行 nano ~/.bashrc 打开 bash 配置文件,每次打开终端时都会运行该文件。然后将行添加到底部保存并关闭。

      【讨论】:

        【解决方案4】:

        我认为您可以通过 gconf-editor 执行此操作,该编辑器维护 gnome 中所有内容的设置。请参阅 gconf 编辑器 manual 和 gnome-terminal 部分。

        在终端,您可以使用gconftool-2进行更改

        【讨论】:

        • 感谢您的回复。我想我的问题是,如果我使用 gconftool-2 更改 1 个选项卡配置文件的背景,这也会影响所有其他选项卡的背景。如果我将每个选项卡设置为使用不同的配置文件,那么每个选项卡都无法知道它在哪个配置文件上。有点问题 22 :)
        • gnome 软件似乎缺少这种东西,我听说过类似的抱怨关于有单独的桌面壁纸。不过,这可能最终会因需求而得到解决。
        猜你喜欢
        • 2011-09-01
        • 1970-01-01
        • 1970-01-01
        • 1970-01-01
        • 2017-09-04
        • 1970-01-01
        • 2021-08-16
        • 1970-01-01
        • 2023-02-24
        相关资源
        最近更新 更多