Jim Campbell jcampbell@gnome.org Daniel Neel dneelyep@gmail.com 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

L’installation de greffons de tierce-partie procure des fonctionnalités supplémentaires non incluses dans les greffons gedit par défaut et dans le paquet gedit-plugins. Une liste en ligne de greffons de tierce-partie est maintenue à jour ici.

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érencesGreffons[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 AffichageAfficher les fichiers cachés ou appuyez sur CtrlH.

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