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 dans le gedit ne montre pas le plugin.
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 dans le gedit ne montre pas le plugin.
Réponses:
La version de gEdit dans Oneiric & above est une v3 construite avec les bibliothèques gtk + 3. Les emplacements des dossiers de plugins sont légèrement différents de ceux de gEdit v2.
Chaque plugin nécessite au moins deux fichiers.
Un fichier (pluginname.plugin) doit dire gedit
:
Ce fichier est dans le .desktop
format.
Le deuxième fichier est le code actuel.
Ces deux fichiers doivent être placés dans:
/usr/lib/gedit/plugins/
, ou~/.local/share/gedit/plugins/
.Commencez par créer le dossier du plugin:
mkdir -p ~/.local/share/gedit/plugins
Créez maintenant un .plugin
fichier en utilisant gedit NB: ces fichiers ont le format suivant:
[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
Pour votre plugin v2, vous avez déjà un fichier appelé project-manager.gedit-plugin
pour pouvoir le renommer:
mv project-manager.gedit-plugin project-manager.plugin
Puis éditez le fichier de plugin et changez l'en-tête de section en "[Plugin]"
Vous verrez maintenant ceci dans votre liste de plugins gedit.
Cependant, pour moi, il y avait des erreurs sur "import gedit, gtk, gtk.glade".
Vous devez modifier le code source pour importer les variantes de gtk + 3 - appelées introspection python.
Un excellent tutoriel pour convertir gtk + 2 en gtk + 3 voir
Mise à jour 2016
Pour installer tous les plugins gedit, essayez:
sudo apt-get install gedit-plugins
Cela a très bien fonctionné sous Ubuntu 14.04. J'utilise actuellement la version 3.10.4 de gedit.
Vous devrez les activer en accédant à Edition - Préférences - Plugins. Ensuite, sélectionnez les plugins à activer.
J'ai un Ubuntu 14.04 LTS 64 bits et le dossier avec les plugins est /usr/lib/x86_64-linux-gnu/gedit/plugins/
Copier à l'intérieur du fichier *.plugin
et les *.py
fichiers ont fait le tour pour moi
.plugin
extension. S'il a une.gedit-plugin
extension, c'est une ancienne version.