Comment installer un plugin pour gEdit v3?

gEdit 3

La version de gEdit dans Oneiric & amp; ci-dessus est v3 construit en utilisant gtk + 3 bibliothèques. Les emplacements des dossiers de plug-ins sont légèrement différents de ceux de gEdit v2.

Chaque plugin a besoin d’au moins deux fichiers.

Un fichier (pluginname.plugin) doit indiquer gedit :

• où le plugin peut être trouvé,
• comment ça s'appelle,
• une courte description,
• qui est l'auteur, etc.

Ce fichier est au format .desktop .

Le deuxième fichier est le code actuel.

Ces deux fichiers doivent être placés soit dans:

• le répertoire des plugins à l’échelle du système /usr/lib/gedit/plugins/ , ou
• dans le répertoire des plugins utilisateur, qu'il faudra peut-être créer manuellement - ~/.local/share/gedit/plugins/ .

Installation des plugins

Commencez par créer le dossier du plugin:

mkdir -p ~/.local/share/gedit/plugins

Maintenant, créez un fichier .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 <[email protected]>
Copyright=Copyright © 2006 Jesse van den Kieboom <[email protected]>
Website=http://www.gedit.org

_source

Pour votre plug-in v2, vous avez déjà un fichier appelé project-manager.gedit-plugin , vous pouvez donc le renommer:

mv project-manager.gedit-plugin project-manager.plugin

Ensuite, éditez le fichier de plug-in et remplacez l'en-tête de section par "[Plugin]"

Vous allez maintenant voir cela dans votre liste de plug-in gedit.

Cependant, pour moi, il a jeté des erreurs sur "import gedit, gtk, gtk.glade".

Vous devez modifier le code source pour importer les variantes gtk + 3 - appelées introspection python.

Un excellent tutoriel pour convertir de gtk + 2 en gtk + 3 voir

• lien

Mise à jour 2016

Pour installer tous les plugins gedit, essayez:

sudo apt-get install gedit-plugins

Cela a bien fonctionné sur Ubuntu 14.04. J'utilise actuellement la version 3.1.0.4 de gedit.

Vous devrez les activer en naviguant dans Modifier - Préférences - Plugins. Sélectionnez ensuite les plug-ins à activer.

J'ai enfin trouvé où sont stockés les plugins gEdit. Essayez de mettre les deux fichiers dans n'importe quel plugin ici: /usr/lib/gedit/plugins .

J'ai un Ubuntu 14.04 LTS 64 bits et le dossier avec les plugins est /usr/lib/x86_64-linux-gnu/gedit/plugins/

En y copiant les fichiers *.plugin et *.py ont fait l'affaire pour moi

Pour l’installation automatique, essayez ce qui suit

sudo add-apt-repository ppa:gedit-bc-dev-plugins/releases
sudo apt-get update
sudo apt-get install gedit-plugins
sudo apt-get install gedit-projects-plugin