Debian
Debian-France
Debian-Facile
Debian-fr.org
Forum-Debian.fr
Debian ?
Communautés
Vous n'êtes pas identifié(e).
Pages : 1
gedit le programme Gedit
gedit-plugins c'est là que se trouve le greffon du Terminal intégré
dconf-editor sera nécessaire pour la configuration du terminal intégré.
J'ouvre Gedit et j'active le greffon du Terminal intégré.
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.
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és.
Pour trouver la bonne valeur couleur je lance:
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 maintenant que je m’aperçois du problème. 
Les changements fait via dconf-editor n'ont pas été pris en compte, mais les couleurs correspondent à gnome-terminal !
Je désinstalle 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. 
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 fais 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é, prends les couleurs de gnome-terminal.
Sinon si gnome-termnial n'est pas installé 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" ? 
Il ne faut pas oublier si il y a une mise à jour du paquet gedit-plugins que ma bricole risque d'être modifiée par le code original.
Dernière modification par Slyfox (22-08-2018 09:27:46)
Hors ligne
captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.
Hors ligne
Mhh…
Une modif plus légère peut-être consisterait à ne faire que changer « "default" » en « "gedit-terminal" », mais je ne suis pas complètement sûr que ça fonctionnerait.
ça m’intéresse mais je ne comprends pas, tu peux développer ?
Après j'aimerais mettre ça dans le Wiki : https://debian-facile.org/doc:environne … nome:gedit
A ton avis (ça tombe bien c'est toi l'administrateur )
Il faudrait fusionné ça aux Wiki Gedit ou créer un Wiki dédié au greffon Terminal intégré.
Faudrait-il privilégier la méthode que si gnome-terminal est installé c'est les couleurs de gnome-terminal qui sont utilisé malgré tout les réglages fait via dconf-editor ou quand même informer qu'il existe une méthode pour contourner les réglage de gnome-terminal via une bricole du fichier /usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py
En passant je me pose la question si ce topic n'aurait pas ça place ici : https://debian-facile.org/topic-2589-wi … age-1.html
Hors ligne
captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.
Hors ligne
La méthode que je te proposais en changeant default en gedit-terminal devrait, si je comprends bien, créer un nouveau profil dans la config de Gnome Terminal, appelé gedit-terminal, et qui sera configurable via l'éditeur de profils de gnome-terminal. Après, il est également possible que je ne comprenne pas bien, auquel cas, ça fera probablement autre-chose
Sorry ...
default... où? dans le fichier /usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py ? Dans le /home ?
Moi pas comprendre. 
dconf-editor créer ce fichier dans le /home/$USER : /home/slyfox/.config/dconf/user
Mais je n'arrive pas à l'ouvrir avec un éditeur de texte.
Dernière modification par Slyfox (09-07-2015 17:03:20)
Hors ligne
captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.
Hors ligne
Pages : 1