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 →
Ceci est une ancienne révision du document !
Nota :
Contributeurs, les sont là pour vous aider, supprimez-les une fois le problème corrigé ou le champ rempli !
Gedit est l'éditeur de texte de l'environnement graphique 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.
Nous pouvons utiliser les greffons déjà fournis avec Gedit mais aussi en rajouter. Pour installer les greffons supplémentaires et d'autres paquets utiles pour la configuration ouvrons un Terminal et faisons un copie/coller des commandes ci-dessous:
apt-get update && apt-get install gedit gedit-plugins dconf-editor zenity
Pour installer les jeux de couleurs supplémentaires ouvrons un 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/ \;
Pour activer un greffon.
Menu -> Préférences -> onglet Greffons
Voici une liste non exhaustive des greffons contenu une fois le paquet gedit-plugins installé.
D'autres greffons sont proposés sur des sites tels que :
Menu -> Préférences -> Police et couleurs
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.
Si le Terminal intégré à Gedit n'apparaître pas au-dessous de la fenêtre principe de Gedit, nous devons alors l'activer.
Menu --> Préférences --> Greffons --> Cocher la case Terminal intégré
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 Gedit.
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).
dconf-editor
org --> gnome --> gedit --> plugins --> terminal
Voici les divers options que nous pouvons configurer:
Une astuce pour trouver la bonne valeur couleur…
zenity --color-selection
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”.
gnome-terminal
Édition → Préférences du profil → Couleurs
Sélectionner
.Sélectionner
.Pour pouvoir changer les couleurs malgré la présence du paquet gnome-terminal sur le système procédons ainsi.
/usr/lib/x86_64-linux-gnu/gedit/plugins
cd /usr/lib/x86_64-linux-gnu/gedit/plugins
cp terminal.py save_terminal.py
nano terminal.py
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
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
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.