如何在 Ubuntu 16.04 LTS 中的 gedit 中更改嵌入式终端的颜色？

Question

我今天遇到了同样的问题，并偶然发现了这个问题。遗憾的是，它没有答案。幸运的是，我设法解决了。HTH 其他人。

我正在使用 Ubuntu 16.04 VM，并遵循相同的教程，并得到了相同的结果。

问题就在这里，/usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py第 88-98 行：

def get_profile_settings(self):
profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

if profiles:
    default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
    settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
                                          default_path)
else:
    settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

return settings

当插件获取终端设置时，它首先检查 dconf-editor 路径中的默认终端设置，如果您的终端设置与我的类似，则只有设置use-theme-transparency。因此，嵌入式终端没有实际使用的设置。我认为解决这个问题的困难方法是将 org.gnome.gedit.plugins.terminal 中的键复制到中org.gnome.Terminal.ProfileList。相反，打开terminal.py，注释掉 if 语句，然后强制设置使用这些org.gnome.gedit.plugins.terminal设置。

    def get_profile_settings(self):
    profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

#        if profiles:
#            default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
#            settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
#                                                  default_path)
#        else:
#            settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

    settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")
    return settings

重新启动后，你应该有一个黑白终端 -

Answer 1