Installer des greffons de tierce-partie.
Vincent Untz
vuntz@gnome.org 2006.
Jonathan Ernst
jonathan@ernstfamily.ch 2006.
Philippe Lefevre
ph.l@libertysurf.fr 2006.
Christophe Bliard
christophe.bliard@trux.info 2006.
Claude Paroz
claude@2xlibre.net 2007-2011.
Bruno Brouard
annoa.b@gmail.com 2011.
Luc Pionchon
pionchon.luc@gmail.com 2011.
Alain Lojewski
allomervan@gmail.com 2011-2014.
Alexandre Franke
alexandre.franke@gmail.com 2013.
Julien Hardelin
jhardlin@orange.fr 2013.
Guillaume Bernard
associations@guillaume-bernard.fr 2018
Charles Monzat
charles.monzat@free.fr 2020

# Greffons gedit supplémentaires

Installing third-party plugins gives you extra functionality that isn't available in default gedit plugins, or even the extra plugins that are part of the gedit-plugins package. An online list of third-party plugins is kept here.

L’installation d’un greffon de tierce-partie consiste à télécharger le greffon, à la mise en place des fichiers du greffon dans le bon répertoire et à l’activation du greffon.

Vous pouvez normalement télécharger un greffon à partir du site Web du greffon mais il peut être nécessaire d’installer des programmes de contrôle de version comme git, bazaar ou subversion pour copier un dépôt logiciel de greffon à partir d’Internet. Consultez la documentation du greffon pour apprendre comment récupérer le greffon.

Placez les fichiers du greffon dans le dossier /home/nom_utilisateur/.local/share/gedit/plugins.

Bien sûr, remplacez le terme nom_utilisateur par votre propre nom d’utilisateur.

Après avoir placé les fichiers du greffon dans le bon répertoire, le greffon apparaît dans le menu Préférences. Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences Greffons[nom du greffon] pour activer le greffon.

Cliquez sur Fermer.

Après avoir activé le greffon, il devrait être prêt à l’emploi.

Le répertoire .local est caché par défaut. Pour l’afficher ainsi que tous les autres fichiers cachés, cliquez sur Affichage Afficher les fichiers cachés ou appuyez sur Ctrl H.

Si le répertoire .local/share/gedit/plugins/ n’existe pas, vous devez le créer.