• Objet : Configurer et personnaliser Gedit
• Niveau requis :

  débutant
• 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

• Cocher selon notre choix.

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

• Signets: Naviguer facilement dans vos documents avec les signets
• Complétion de parenthèses: Ajouter automatiquement les parenthèses fermantes.
• Table de caractères: Insérer des caractères spéciaux juste en cliquant dessus.
• Commentateur de code: Commenter ou décommenter un bloc de code sélectionné.
• Sélecteur de couleurs: Choisir une couleur dans une boîte de dialogue et l'insérer sous sa forme hexadécimale.
• Éditeur de jeu de couleurs: Éditeur de jeu de couleurs pour le code source
• Ligne de commande: Interface en ligne de commande pour l'édition avancée
• Tableau de bord: Un tableau de bord pour les nouveaux onglets
• Indicateur d'espaces: Indiquer les espaces et les tabulations
• Git: Surligner les lignes qui ont changé depuis le dernier commit.
• Joindre/couper les lignes: Joindre plusieurs lignes ou séparer les longues lignes
• Édition multiple: Éditer un document à plusieurs endroits en même temps
• Espaces intelligents: Oubliez que vous n'utilisez pas les tabulations.
• SyncTeX: Synchroniser entre LaTeX et PDF avec gedit et evince.
• Terminal intégré: Intègre un terminal dans le panneau du bas.
• Taille du texte: Augmente ou diminue facilement la taille du texte.
• Complétion de mots: Complétion de mots, utilise la structure de complétion

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ître pas au-dessous de la fenêtre principe de Gedit, nous devons alors l'activer.

• Ouvrir Gedit

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

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

Menu --> Affichage --> Cochons 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à les 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:

• allow-bold: indique si un texte gras est autorisé.
• audible-bell: indique s'il faut rendre muet le bip du terminal.
• background-color: couleur par défaut de l'arrière-plan du terminal.
• cursor-blink-mode: indique s'il faut faire clignoter le curseur.
• cursor-shape: apparence du curseur.
• font: type de police.
• foreground-color: couleur par défaut du texte dans le terminal.
• palette: palette pour les applications du terminal.
• scroll-on-keystroke: indique s'il faut se déplacer tout en bas lorsqu'une touche est enfoncée.
• scrollback-on-output: indique s'il faut se déplacer tout en bas à chaque nouveau contenu.
• scroll-lines: nombre de lignes à conserver dans l'historique de défilement.
• scrollback-unlimited: indique si un nombre de lignes illimité doit être conservé dans la mémoire de défilement.
• use-system-font: indique s'il faut utiliser la police système.
• use-theme-colors: indique s'il faut utiliser les couleurs du thème pour les éléments graphiques du terminal.

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:

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:

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 ↵ Enter)

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.