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 [07/09/2015 17:44] milou [Installation des jeux de couleurs] |
doc:environnements:gnome:gedit:tp-greffon-terminal [01/06/2018 22:00] (Version actuelle) Slyfox [Installation des jeux de couleurs] |
||
---|---|---|---|
Ligne 34: | 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</code> | + | apt-get install git-core |
- | <code user>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 49: | 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 91: | 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 107: | 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 119: | 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 198: | 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 208: | 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 (<key>C-x</key> et répondre <key>o</key> puis <key>Entrer</key>) | * Enregistrer et quitter (<key>C-x</key> et répondre <key>o</key> puis <key>Entrer</key>) |