Gedit configurations avancées et personnalisation

• Objet : Configurer et personnaliser Gedit
• Niveau requis :

  débutant, avisé
• Commentaires : tout pour personnaliser Gedit
• Débutant, à savoir : Utiliser GNU/Linux en ligne de commande, tout commence là !
• Suivi :
  • Création par Slyfox 09/07/2015
  • Testé par Slyfox le 14/07/2015 avec Debian/jessie stable, Gedit version 3.14.0
• Commentaires sur le forum : C'est ici¹⁾
• Voir aussi Wiki - GEDIT - un éditeur graphique et Changer couleur terminal intégré Gedit

Nota :

Contributeurs, les sont là pour vous aider, supprimez-les une fois le problème corrigé ou le champ rempli !

Gedit est l'éditeur de texte de l'environnement graphique GNOME.

Dans ce Wiki nous allons voir comment personnaliser cet éditeur de texte par l'ajout de nombreux designs pour la coloration du texte via gmate et l'ajout de greffons via le paquet gedit-plugins.

Nous pouvons utiliser les greffons déjà fournis avec Gedit mais aussi en rajouter. Pour installer les greffons supplémentaires et d'autres paquets utiles pour la configuration ouvrons un Terminal et faisons un copie/coller des commandes ci-dessous:

apt-get update && apt-get install gedit gedit-plugins dconf-editor zenity

Pour installer les jeux de couleurs supplémentaires ouvrons un Terminal et faisons un copie/coller des commandes ci-dessous:

apt-get update
apt-get install git-core
cd /tmp
git clone git://github.com/gmate/gmate.git
find /tmp/gmate/styles -type f -name "*.xml" -exec cp -v {} //usr/share/gtksourceview-3.0/styles/ \;

Pour activer un greffon.

• Ouvrir Gedit

 Menu -> Préférences -> onglet Greffons

• Cochons selon notre choix et quittons les Préférences.

Voici une liste non exhaustive des greffons contenus une fois le paquet gedit-plugins installé.

D'autres greffons sont proposés sur des sites tels que :

• http://live.gnome.org/Gedit/Plugins (en)

• Ouvrir Gedit

 Menu -> Préférences -> Police et couleurs

• Sélectionner le jeu de couleur qui nous plaît.

Le greffon Terminal intégré est fort pratique, il permet comme son nom l'indique d'intégrer un Terminal sur la partie inférieur de Gedit.

Si le Terminal intégré à Gedit n'apparaît pas au-dessous de la fenêtre principe de Gedit, nous devons alors l'activer.

• Ouvrir Gedit

Menu --> Préférences --> Greffons --> Cocher la case Terminal intégré

• Fermer la fenêtre des Préférences.

Menu --> Affichage --> Cocher la case Panneau inférieur 

Si tout c'est bien passé le terminal intégré doit apparaître au-dessous de la fenêtre principe de Gedit.

IMPORTANT ! Si le paquet gnome-termnial est installé cette méthode risque de ne pas fonctionner, car le fichier de configuration /usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py favorise par défaut la configuration de gnome-terminal, dans ce cas là, pour changer les couleurs du Terminal intégré il faudra passer par “Changer les couleurs dans Gnome Terminal” ou “Astuces expérimentales” (voir ci-dessous).

• Lancer l'outil dconf-editor dans un Terminal

dconf-editor

• Suivre ce chemin

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

Voici les divers options que nous pouvons configurer:

Une astuce pour trouver la bonne valeur couleur…

• Lancer zenity

zenity --color-selection

• Faire un copier/coller de “Nom de la couleur”.
• Coller cette valeur soit dans la case correspondante. (background-color ou foreground-color)

Voici un exemple avec les paramètres par défaut mais avec un changement de couleurs de l'arrière-plan en noir et de l'écriture en blanc. Attention de bien décocher “use-theme-colors”.

• Lancer maintenant Gedit et si tout c'est bien passé le tour est joué.

• Ouvrir gnome-terminal

gnome-terminal

Édition → Préférences du profil → Couleurs

• Décocher “Utiliser les couleurs du thème par défaut”.

• Palette prédéfinies “Personnalisée”.

• Couleur du texte: cliquer sur la couleur actuelle, choisir une nouvelle couleur puis Sélectionner.

• Couleur d'arrière-plan: cliquons sur la couleur actuelle, choisir une nouvelle couleur puis Sélectionner.

• Lançer maintenant Gedit et si tout c'est bien passé le tour est joué.

Cette partie est expérimentale, en cas de doute il est recommandé de vous abstenir.

Pour pouvoir changer les couleurs malgré la présence du paquet gnome-terminal sur le système procédons ainsi.

• Se déplacer dans le dossier /usr/lib/x86_64-linux-gnu/gedit/plugins

cd /usr/lib/x86_64-linux-gnu/gedit/plugins

• Par précaution faire une sauvegarde du fichier terminal.py

cp terminal.py save_terminal.py

• Ouvrir le fichier terminal.py en root.

nano terminal.py

• Rechercher cette partie du fichier:

Extrait de terminal.py

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

• Modifier le fichier ainsi:

Extrait de terminal.py

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

• Enregistrer et quitter (Ctrl+X et répondre O puis Entrer)

Si les couleurs du Terminal intégré ne sont pas encore pris en compte, il faudra le cas échéant suivre la partie “Personnalisation et changement de couleurs du Terminal intégré à Gedit” de ce présent wiki.