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

我今天遇到了同样的问题，偶然发现了这个问题。可悲的是它没有答案。幸好，我设法弄清楚了。还有其他人。

我正在使用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

重新启动后，您应该拥有一个黑色和白色的终端-