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 [01/02/2016 13:53] milou [Activer les greffons] |
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 92: | 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 108: | 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 120: | 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 199: | 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 209: | 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>) | ||
