Changer couleur terminal intégré Gedit

Bonjour,

J’aimerais résoudre un problème concernant le changement de couleur du Terminal intégré dans le but de mettre à jour le Wiki.

J'utilise Gedit qui permet d'ajouter de nombreux greffons comme le Terminal intégré.

Voici comment je l'ai installé:

sudo apt-get install gedit gedit-plugins dconf-editor

dconf-editor sera nécessaire pour la configuration du terminal intégré.

Puis dans Gedit:

Menu --> Préférance --> Greffons --> Cocher Terminal intégré

Puis toujours dans Gedit:
Menu --> Affichage --> Cocher Panneau inférieur

Par défaut le Terminal intégré est avec un fond blanc et avec un texte noir, ce qui me convient pas car j'aimerais changer de couleur, fond noir et texte vert.

Je lance dconf-editor afin de configurer les couleurs.

dconf-editor

puis org --> gnome --> gedit --> plugins --> terminal

backgroud-color (couleur arrière plan) je mets la valeur #000000
foreground-color (couleur du texte) je mets la valeur #2BDD53
use-theme-colors je décoche afin d'utiliser les couleurs personnalisé.

Pour trouver la bonne valeur couleur je lance:

zenity --color-selection

et fais un copier/coller de "Nom de la couleur". On peut aussi remplacer le code hexadécimal directement par le nom de couleur en anglais par exemple red pour rouge.

Je relance Gedit et c'est que le problème arrive.

Je m'apercois que les changements n'ont pas était pris en compte, mais que les couleurs correspondent à gnome-terminal !
Je désinstalle gnome-terminal.

sudo apt-get remove gnome-terminal

Je relance Gedit... et c'est fois-ci c'est OK j'ai bien les couleur que je veux dans mon Terminal intégré. Mais je veux gardé gnome-terminal... je le réinstalle.

sudo apt-get install gnome-terminal

Je relance Gedit... les couleurs du Terminal intégré sont à identique à celle de gnome-terminal malgré que j'avais décoché use-theme-colors... (?)

Je vais des recherches sur les fichiers de configuration et je tombe sur le fichier du terminal intégré qui se trouve ici:

/usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py

Une partie de ce fichier attire mon attention:

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

Je ne suis pas doué en python mais si je comprends bien, cette partie de script dit:
Si gnome-terminal est installé, il prends les couleurs de gnome-terminal
Sinon prends les couleurs de dconf-editor ("org.gnome.gedit.plugins.terminal")

Alors je me logue en root et modifie le fichier ainsi:

def get_profile_settings(self):
        profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")
        settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

        return settings

J'enregistre et relance Gedit... et là ça marche correctement. Le Terminal intégré a ces propres couleurs et gnome-terminal les siennes.

Ma question:
On ne pourrai pas faire ça autrement et de manière plus "simple" ?

Changer couleur terminal intégré Gedit