Como mudar as cores do terminal embutido no gedit no Ubuntu 16.04 LTS?

Question

Eu tentei seguir os passos das respostas para esta pergunta: Torne as cores do terminal incorporado do gedit iguais ao terminal padrão

No entanto, nenhum deles funciona. Estou usando o Ubuntu 16.04 LTS

Eu tentei alterar as configurações usando o editor de dconf, mas as mudanças não são refletidas no gedit

    

Answer 1

Eu me deparei com o mesmo problema hoje e tropecei nessa questão. Infelizmente, não teve resposta. Felizmente, consegui descobrir. HTH outra pessoa.

Estou usando uma VM do Ubuntu 16.04 e segui o mesmo tutorial e obtive os mesmos resultados.

A questão está aqui, em /usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py linhas 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

Quando o plugin obtém as configurações do terminal, ele primeiro verifica o caminho do editor do dconf para as configurações padrão do terminal, que, se o seu é como o meu, só tem a configuração use-theme-transparency . Como resultado, o terminal incorporado não possui configurações para uso real. Eu acho que a maneira mais difícil de corrigir isso seria replicar as chaves em org.gnome.gedit.plugins.terminal no org.gnome.Terminal.ProfileList . Em vez disso, abra terminal.py , comente a instrução if e force as configurações a usar as configurações 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

Depois de reiniciar, você deve ter um terminal preto e branco -