====== Gedit configurations avancées et personnalisation ====== * Objet : Configurer et personnaliser Gedit * Niveau requis : {{tag>débutant avisé}} * Commentaires : //tout pour personnaliser Gedit// * Débutant, à savoir : [[:doc:systeme:commandes:le_debianiste_qui_papillonne|Utiliser GNU/Linux en ligne de commande, tout commence là !]] :-) * Suivi : * Création par [[user>Slyfox]] 09/07/2015 * Testé par [[user>Slyfox]] le 14/07/2015 avec Debian/jessie stable, **Gedit version 3.14.0** FIXME * Commentaires sur le forum : [[https://debian-facile.org/viewtopic.php?id=11804 |C'est ici]]((N'hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !)) * Voir aussi [[https://debian-facile.org/viewtopic.php?id=2589 | Wiki - GEDIT - un éditeur graphique]] et [[https://debian-facile.org/viewtopic.php?id=11765 | Changer couleur terminal intégré Gedit]] **Nota :** Contributeurs, les FIXME sont là pour vous aider, supprimez-les une fois le problème corrigé ou le champ rempli ! ===== Introduction ===== [[/doc:environnements:gnome:gedit | Gedit]] est l'éditeur de texte de l'environnement graphique [[:doc:environnements:gnome:gnome3.4|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. ===== Installation des greffons ===== Nous pouvons utiliser les greffons déjà fournis avec [[/doc:environnements:gnome:gedit | Gedit]] mais aussi en rajouter. Pour installer les greffons supplémentaires et d'autres paquets utiles pour la configuration ouvrons un [[/doc:systeme:terminal | Terminal]] et faisons un copie/coller des commandes ci-dessous: apt-get update && apt-get install gedit gedit-plugins dconf-editor zenity ===== Installation des jeux de couleurs ===== Pour installer les jeux de couleurs supplémentaires ouvrons un [[/doc:systeme:terminal | 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/ \; ===== Activer les greffons ===== Pour activer un greffon. * Ouvrir [[/doc:environnements:gnome:gedit | Gedit]] Menu -> Préférences -> onglet Greffons * Cochons selon notre choix et quittons les Préférences. {{ /file-Rac0ac2e8abfb6759af9869f0ec191b43.png?500 }} Voici une liste non exhaustive des greffons contenus une fois le paquet gedit-plugins installé. ^Plugin ^ Action ^ | **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) ===== Activer un jeu de couleurs ===== * Ouvrir [[/doc:environnements:gnome:gedit | Gedit]] Menu -> Préférences -> Police et couleurs * Sélectionner le jeu de couleur qui nous plaît. {{ /file-Redc7517118b4681e83be9dac469affbe.png?500 }} ===== Greffon Terminal intégré ===== 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 [[/doc:environnements:gnome:gedit | Gedit]]. Si le Terminal intégré à [[/doc:environnements:gnome:gedit | Gedit]] n'apparaît pas au-dessous de la fenêtre principe de [[/doc:environnements:gnome:gedit | Gedit]], nous devons alors l'activer. ==== Activer le greffon Terminal intégré ==== * Ouvrir [[/doc:environnements:gnome:gedit | 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 [[/doc:environnements:gnome:gedit | Gedit]]. ==== Personnalisation et changement de couleurs du Terminal intégré à 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). FIXME * Lancer l'outil dconf-editor dans un [[/doc:systeme:terminal | Terminal]] dconf-editor * Suivre ce chemin org --> gnome --> gedit --> plugins --> terminal Voici les divers options que nous pouvons configurer: ^Option ^ Action ^ | **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) {{/file-R32535cb9805e9e98a6a7acf70c380b71.png?500}} Nous pouvons aussi remplacer le code hexadécimal directement par le nom de couleur en anglais par exemple red pour le rouge. === Exemple === 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". {{/file-Ra6b070fff4cc8c2b2ebe18d11f1371a4.png?1000}} * Lancer maintenant [[/doc:environnements:gnome:gedit | Gedit]] et si tout c'est bien passé le tour est joué. ==== Changer les couleurs dans Gnome Terminal ==== * 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 [[/doc:environnements:gnome:gedit | Gedit]] et si tout c'est bien passé le tour est joué. {{/file-R6d3610762b7c88baf7494e0fb7dd1ca5.png?500}} ==== Astuces expérimentales ==== **Cette partie est expérimentale, en cas de doute il est recommandé de vous abstenir.**FIXME 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 (C-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.