Je suis un peu confus quant à l'endroit où je dois placer les plugins téléchargés en externe. J'ai essayé de les mettre:
/usr/share/gedit/plugins
~/. Local/gedit/plugins
~/. Gnome2/gedit/plugins
/usr/lib/gedit/plugins
La façon dont j'ai vérifié si les plugins apparaissent ou non va dans Édition -> Préférences -> Plugins et cherche ceux que j'ai téléchargés (clickconfig, gedit-developer-plugins -...). Comme je ne vois aucun nouveau plugin apparaître, je dois supposer que je fais quelque chose de mal.
Aucun de ceux-ci n'a fonctionné. Je suis un peu fatigué de polluer mon système. C'est probablement ma faute car c'est écrit quelque part que je n'ai pas pensé à regarder. Veuillez me faire savoir comment ajouter correctement des plugins externes à Gedit. J'utilise Ubuntu 11.10. Ma version de Gedit est 3.2.3
ÉDITER:
Je ne parviens toujours pas à résoudre ce problème. J'ai également essayé le dossier suivant, et cela n'a pas fonctionné:
~/. Config/gedit/plugins
EDIT 2:
J'essaie d'installer les plugins dans "gedit-developer-plugins" ainsi que le plugin "clickconfig".
Réponses:
Tout d'abord, je répondrai à la question sur les plugins spécifiques. gedit-developer-plugins est disponible dans les archives officielles d'Ubuntu, et je suggère de l'installer à partir de là.
clickconfig
, d'autre part, ne semble malheureusement pas avoir été porté sur Gedit 3 et n'est pas compatible.Plus généralement, pour Gedit 3 (qui est dans Ubuntu 11.10 et supérieur), les plugins locaux doivent être installés sur
~/.local/share/gedit/plugins
Le.plugin
fichier doit être dans ce répertoire exact, les sous-répertoires ne sont pas analysés. Par exemple, voici la disposition des fichiers à moi:la source
Essayer
A travaillé pour moi en 11.10.
J'utilise maintenant
en 12.04. Ne me demandez pas pourquoi ..
la source
Des documents officiels sur le site gedit , le dossier est:
/home/username/.local/share/gedit/plugins
. Si ce dossier n'existe pas, vous devrez le créerla source
.plugin
et.py
fichiers de mon plugin dans ce répertoire.