Je viens d'installer ubuntu 11.10, et je souhaite installer un plugin pour gEdit .
J'ai décompressé le plugin dans le dossier suivant : ~/.gnome2/gedit/plugins
mais le plugin n'apparaît pas dans le gedit.
Je viens d'installer ubuntu 11.10, et je souhaite installer un plugin pour gEdit .
J'ai décompressé le plugin dans le dossier suivant : ~/.gnome2/gedit/plugins
mais le plugin n'apparaît pas dans le gedit.
La version de gEdit dans Oneiric et au-delà est v3 et utilise les bibliothèques gtk+3. L'emplacement des dossiers des plugins est légèrement différent de celui de gEdit v2.
Chaque plugin a besoin d'au moins deux fichiers.
Un fichier (pluginname.plugin) doit indiquer à gedit
:
Ce fichier se trouve dans le .desktop
format.
Le deuxième fichier est le code proprement dit.
Ces deux fichiers doivent être placés dans l'un ou l'autre :
/usr/lib/gedit/plugins/
ou~/.local/share/gedit/plugins/
.Créez d'abord le dossier du plugin :
mkdir -p ~/.local/share/gedit/plugins
Créez maintenant un .plugin
en utilisant gedit N.B. ces fichiers ont le format :
[Plugin]
Loader=python
Module=examplepy
IAge=3
Name=Example py
Description=A Python plugin example
Authors=Jesse van den Kieboom <jesse@icecrew.nl>
Copyright=Copyright © 2006 Jesse van den Kieboom <jesse@icecrew.nl>
Website=http://www.gedit.org
<a href="http://live.gnome.org/Gedit/PythonPluginHowTo">source</a>
Pour votre plugin v2, vous avez déjà un fichier appelé project-manager.gedit-plugin
afin que vous puissiez le renommer :
mv project-manager.gedit-plugin project-manager.plugin
Modifiez ensuite le fichier du plugin et remplacez l'en-tête de la section par "[Plugin]"
Vous le verrez maintenant dans la liste des plugins de gedit.
Cependant, j'ai eu des erreurs concernant l'importation de gedit, gtk, gtk.glade.
Vous devez modifier le code source pour importer les variantes gtk+3, ce qui s'appelle l'introspection Python.
Un excellent tutoriel pour la conversion de gtk+2 à gtk+3 est disponible à l'adresse suivante
Mise à jour 2016
Pour installer tous les plugins gedit, essayez :
sudo apt-get install gedit-plugins
Cela a très bien fonctionné sur Ubuntu 14.04. J'utilise actuellement la version 3.10.4 de gedit.
Vous devrez les activer en naviguant vers Édition - Préférences - Plugins. Sélectionnez ensuite les plugins souhaités pour les activer.
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.