Debian
Debian-France
Debian-Facile
Debian-fr.org
Forum-Debian.fr
Debian ?
Communautés
Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
doc:environnements:gnome:gedit:tp-greffon-terminal [14/07/2015 21:59] Slyfox [Greffon Terminal intégré] |
doc:environnements:gnome:gedit:tp-greffon-terminal [01/06/2018 22:00] (Version actuelle) Slyfox [Installation des jeux de couleurs] |
||
|---|---|---|---|
| Ligne 2: | Ligne 2: | ||
| * Objet : Configurer et personnaliser Gedit | * Objet : Configurer et personnaliser Gedit | ||
| - | * Niveau requis : {{tag>débutant}} | + | * Niveau requis : {{tag>débutant avisé}} |
| - | * Commentaires : | + | * 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à !.]] :-) | + | * Débutant, à savoir : [[:doc:systeme:commandes:le_debianiste_qui_papillonne|Utiliser GNU/Linux en ligne de commande, tout commence là !]] :-) |
| - | * Suivi : {{à-tester à-placer}} | + | * Suivi : |
| * Création par [[user>Slyfox]] 09/07/2015 | * 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 | * 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?pid=20670#p20670| Wiki - GEDIT - un éditeur graphique]] et [[https://debian-facile.org/viewtopic.php?id=11765| Changer couleur terminal intégré Gedit]] ((N'hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !)) | + | * 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 :** | **Nota :** | ||
| Ligne 33: | Ligne 34: | ||
| ===== Installation des jeux de couleurs ===== | ===== 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: | Pour installer les jeux de couleurs supplémentaires ouvrons un [[/doc:systeme:terminal | Terminal]] et faisons un copie/coller des commandes ci-dessous: | ||
| - | <code root>apt-get update && apt-get install git-core</code> | + | <code root>apt-get update |
| - | <code user>cd /tmp | + | apt-get install git-core |
| - | git clone git://github.com/gmate/gmate.git</code> | + | cd /tmp |
| - | <code root>find /tmp/gmate/styles -type f -name "*.xml" -exec cp -v {} //usr/share/gtksourceview-3.0/styles/ \;</code> | + | 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/ \;</code> | ||
| Ligne 44: | Ligne 46: | ||
| Pour activer un greffon. | Pour activer un greffon. | ||
| - | * Ouvrons [[/doc:environnements:gnome:gedit | Gedit]] | + | * Ouvrir [[/doc:environnements:gnome:gedit | Gedit]] |
| Menu -> Préférences -> onglet Greffons | Menu -> Préférences -> onglet Greffons | ||
| - | * Cochons selon notre choix. | + | * Cochons selon notre choix et quittons les Préférences. |
| {{ /file-Rac0ac2e8abfb6759af9869f0ec191b43.png?500 }} | {{ /file-Rac0ac2e8abfb6759af9869f0ec191b43.png?500 }} | ||
| - | Voici une liste non exhaustive des greffons contenu une fois le paquet gedit-plugins installé. | + | Voici une liste non exhaustive des greffons contenus une fois le paquet gedit-plugins installé. |
| - | * **Signets:** Naviguer facilement dans vos documents avec les signets | + | ^Plugin ^ Action ^ |
| - | * **Complétion de parenthèses:** Ajouter automatiquement les parenthèses fermantes. | + | | **Signets:** | Naviguer facilement dans vos documents avec les signets | |
| - | * **Table de caractères:** Insérer des caractères spéciaux juste en cliquant dessus. | + | | **Complétion de parenthèses:** | Ajouter automatiquement les parenthèses fermantes | |
| - | * **Commentateur de code:** Commenter ou décommenter un bloc de code sélectionné. | + | | **Table de caractères:** | Insérer des caractères spéciaux juste en cliquant dessus | |
| - | * **Sélecteur de couleurs:** Choisir une couleur dans une boîte de dialogue et l'insérer sous sa forme hexadécimale. | + | | **Commentateur de code:** | Commenter ou décommenter un bloc de code sélectionné | |
| - | * **Éditeur de jeu de couleurs:** Éditeur de jeu de couleurs pour le code source | + | | **Sélecteur de couleurs:** | Choisir une couleur dans une boîte de dialogue et l'insérer sous sa forme hexadécimale | |
| - | * **Ligne de commande:** Interface en ligne de commande pour l'édition avancée | + | | **Éditeur de jeu de couleurs:** | Éditeur de jeu de couleurs pour le code source |- |
| - | * **Tableau de bord:** Un tableau de bord pour les nouveaux onglets | + | | **Ligne de commande:** | Interface en ligne de commande pour l'édition avancée | |
| - | * **Indicateur d'espaces:** Indiquer les espaces et les tabulations | + | | **Tableau de bord:** | Un tableau de bord pour les nouveaux onglets | |
| - | * **Git:** Surligner les lignes qui ont changé depuis le dernier commit. | + | | **Indicateur d'espaces:** | Indiquer les espaces et les tabulations | |
| - | * **Joindre/couper les lignes:** Joindre plusieurs lignes ou séparer les longues lignes | + | | **Git:** | Surligner les lignes qui ont changé depuis le dernier commit | |
| - | * **Édition multiple:** Éditer un document à plusieurs endroits en même temps | + | | **Joindre/couper les lignes:** | Joindre plusieurs lignes ou séparer les longues lignes | |
| - | * **Espaces intelligents:** Oubliez que vous n'utilisez pas les tabulations. | + | | **Édition multiple:** | Éditer un document à plusieurs endroits en même temps | |
| - | * **SyncTeX:** Synchroniser entre LaTeX et PDF avec gedit et evince. | + | | **Espaces intelligents:** | Oubliez que vous n'utilisez pas les tabulations | |
| - | * **Terminal intégré:** Intègre un terminal dans le panneau du bas. | + | | **SyncTeX:** | Synchroniser entre LaTeX et PDF avec gedit et evince | |
| - | * **Taille du texte:** Augmente ou diminue facilement la taille du texte. | + | | **Terminal intégré:** | Intègre un terminal dans le panneau du bas | |
| - | * **Complétion de mots:** Complétion de mots, utilise la structure de complétion | + | | **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 : | D'autres greffons sont proposés sur des sites tels que : | ||
| Ligne 78: | Ligne 81: | ||
| ===== Activer un jeu de couleurs ===== | ===== Activer un jeu de couleurs ===== | ||
| - | * Ouvrons [[/doc:environnements:gnome:gedit | Gedit]] | + | * Ouvrir [[/doc:environnements:gnome:gedit | Gedit]] |
| Menu -> Préférences -> Police et couleurs | Menu -> Préférences -> Police et couleurs | ||
| - | * Sélectionnons le jeu de couleur qui nous plaît. | + | * Sélectionner le jeu de couleur qui nous plaît. |
| {{ /file-Redc7517118b4681e83be9dac469affbe.png?500 }} | {{ /file-Redc7517118b4681e83be9dac469affbe.png?500 }} | ||
| Ligne 88: | Ligne 91: | ||
| ===== Greffon Terminal intégré ===== | ===== 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 Gedit. | + | 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é à Gedit n'apparaître pas au-dessous de la fenêtre principe de Gedit, nous devons alors l'activer. | + | 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é ==== | ==== Activer le greffon Terminal intégré ==== | ||
| Ligne 96: | Ligne 99: | ||
| * Ouvrir [[/doc:environnements:gnome:gedit | Gedit]] | * Ouvrir [[/doc:environnements:gnome:gedit | Gedit]] | ||
| - | Menu --> Préférences --> Greffons --> Cochons la case Terminal intégré | + | Menu --> Préférences --> Greffons --> Cocher la case Terminal intégré |
| * Fermer la fenêtre des Préférences. | * Fermer la fenêtre des Préférences. | ||
| - | Menu --> Affichage --> Cochons la case Panneau inférieur | + | 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]]. | 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]]. | ||
| Ligne 106: | Ligne 109: | ||
| ==== Personnalisation et changement de couleurs du Terminal intégré à Gedit ==== | ==== Personnalisation et changement de couleurs du Terminal intégré à Gedit ==== | ||
| - | <note important>**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). FIXME </note> | + | <note important>**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 </note> |
| - | * Lançer l'outil dconf-editor dans un [[/doc:systeme:terminal | Terminal]] | + | * Lancer l'outil dconf-editor dans un [[/doc:systeme:terminal | Terminal]] |
| <code user>dconf-editor</code> | <code user>dconf-editor</code> | ||
| - | * Suivir ce chemin | + | * Suivre ce chemin |
| org --> gnome --> gedit --> plugins --> terminal | org --> gnome --> gedit --> plugins --> terminal | ||
| Ligne 118: | Ligne 121: | ||
| Voici les divers options que nous pouvons configurer: | Voici les divers options que nous pouvons configurer: | ||
| - | * **allow-bold:** indique si un texte gras est autorisé. | + | ^Option ^ Action ^ |
| - | * **audible-bell:** indique s'il faut rendre muet le bip du terminal. | + | | **allow-bold:** | indique si un texte gras est autorisé | |
| - | * **background-color:** couleur par défaut de l'arrière-plan du terminal. | + | | **audible-bell:** | indique s'il faut rendre muet le bip du terminal | |
| - | * **cursor-blink-mode:** indique s'il faut faire clignoter le curseur. | + | | **background-color:** | couleur par défaut de l'arrière-plan du terminal | |
| - | * **cursor-shape:** apparence du curseur. | + | | **cursor-blink-mode:** | indique s'il faut faire clignoter le curseur | |
| - | * **font:** type de police. | + | | **cursor-shape:** - apparence du curseur | |
| - | * **foreground-color:** couleur par défaut du texte dans le terminal. | + | | **font:** | type de police | |
| - | * **palette:** palette pour les applications du terminal. | + | | **foreground-color:** | couleur par défaut du texte dans le terminal | |
| - | * **scroll-on-keystroke:** indique s'il faut se déplacer tout en bas lorsqu'une touche est enfoncée. | + | | **palette:** | palette pour les applications du terminal | |
| - | * **scrollback-on-output:** indique s'il faut se déplacer tout en bas à chaque nouveau contenu. | + | | **scroll-on-keystroke:** | indique s'il faut se déplacer tout en bas lorsqu'une touche est enfoncée | |
| - | * **scroll-lines:** nombre de lignes à conserver dans l'historique de défilement. | + | | **scrollback-on-output:** | indique s'il faut se déplacer tout en bas à chaque nouveau contenu | |
| - | * **scrollback-unlimited:** indique si un nombre de lignes illimité doit être conservé dans la mémoire de défilement. | + | | **scroll-lines:** | nombre de lignes à conserver dans l'historique de défilement | |
| - | * **use-system-font:** indique s'il faut utiliser la police système. | + | | **scrollback-unlimited:** | indique si un nombre de lignes illimité doit être conservé dans la mémoire de défilement | |
| - | * **use-theme-colors:** indique s'il faut utiliser les couleurs du thème pour les éléments graphiques du terminal. | + | | **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... | Une astuce pour trouver la bonne valeur couleur... | ||
| - | * Lançer zenity | + | * Lancer zenity |
| <code user>zenity --color-selection</code> | <code user>zenity --color-selection</code> | ||
| Ligne 154: | Ligne 158: | ||
| - | * Lancer maintenant Gedit et si tout c'est bien passé le tour est joué. | + | * Lancer maintenant [[/doc:environnements:gnome:gedit | Gedit]] et si tout c'est bien passé le tour est joué. |
| Ligne 169: | Ligne 173: | ||
| * Palette prédéfinies "Personnalisée". | * Palette prédéfinies "Personnalisée". | ||
| - | * Couleur du texte: cliqer sur la couleur actuelle, choisir une nouvelle couleur puis ''Sélectionner''. | + | * 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''. | * 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é. | + | * Lançer maintenant [[/doc:environnements:gnome:gedit | Gedit]] et si tout c'est bien passé le tour est joué. |
| {{/file-R6d3610762b7c88baf7494e0fb7dd1ca5.png?500}} | {{/file-R6d3610762b7c88baf7494e0fb7dd1ca5.png?500}} | ||
| Ligne 183: | Ligne 187: | ||
| Pour pouvoir changer les couleurs malgré la présence du paquet gnome-terminal sur le système procédons ainsi. | Pour pouvoir changer les couleurs malgré la présence du paquet gnome-terminal sur le système procédons ainsi. | ||
| - | * Se déplaçer dans le dossier ''/usr/lib/x86_64-linux-gnu/gedit/plugins'' | + | * Se déplacer dans le dossier ''/usr/lib/x86_64-linux-gnu/gedit/plugins'' |
| <code user>cd /usr/lib/x86_64-linux-gnu/gedit/plugins</code> | <code user>cd /usr/lib/x86_64-linux-gnu/gedit/plugins</code> | ||
| Ligne 197: | Ligne 201: | ||
| * Rechercher cette partie du fichier: | * Rechercher cette partie du fichier: | ||
| - | <code>def get_profile_settings(self): | + | <file python Extrait de terminal.py> |
| + | def get_profile_settings(self): | ||
| profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList") | profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList") | ||
| Ligne 207: | Ligne 212: | ||
| settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal") | settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal") | ||
| - | return settings</code> | + | return settings |
| + | </file> | ||
| * Modifier le fichier ainsi: | * Modifier le fichier ainsi: | ||
| - | <code>def get_profile_settings(self): | + | <file python Extrait de terminal.py> |
| + | def get_profile_settings(self): | ||
| profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList") | profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList") | ||
| settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal") | settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal") | ||
| - | return settings</code> | + | return settings |
| + | </file> | ||
| - | * Enregistrer et quitter (Ctrl+x et répondre "o" puis Enter) | + | * Enregistrer et quitter (<key>C-x</key> et répondre <key>o</key> puis <key>Entrer</key>) |
| - | 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. | + | 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. |
