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 22:40] 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 48: | Ligne 50: | ||
Menu -> Préférences -> onglet Greffons | Menu -> Préférences -> onglet Greffons | ||
- | * Cocher 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 90: | Ligne 93: | ||
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]]. | 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ître pas au-dessous de la fenêtre principe de [[/doc:environnements:gnome:gedit | 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> |
* Lancer l'outil dconf-editor dans un [[/doc:systeme:terminal | Terminal]] | * Lancer l'outil dconf-editor dans un [[/doc:systeme:terminal | 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... | ||
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. | ||