14 votes

Trouver le dossier du plugin gedit

Je suis un peu perdu quant à l'endroit où je dois placer les plugins téléchargés en externe. J'ai essayé de les mettre dans :

  1. /usr/share/gedit/plugins
  2. ~/. Local/gedit/plugins
  3. ~/. Gnome2/gedit/plugins
  4. /usr/lib/gedit/plugins

La façon dont j'ai vérifié si les plugins s'affichent ou non est d'aller dans Édition -> Préférences -> Plugins et de rechercher ceux que j'ai téléchargés (clickconfig, gedit-developer-plugins-...). Comme je ne vois pas de nouveaux plugins apparaître, je dois supposer que je fais quelque chose de mal.

Aucune d'entre elles n'a fonctionné. Je suis un peu fatigué de polluer mon système. C'est probablement ma propre faute, car c'est écrit quelque part où 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.


EDIT。

Je ne parviens toujours pas à résoudre ce problème. J'ai également essayé le dossier suivant, mais 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".

13voto

Ghirai Points 11

Tout d'abord, je vais répondre à la question sur les plugins spécifiques. gedit-developer-plugins Install gedit-developer-plugins est disponible dans l'archive officielle d'Ubuntu, et je vous suggère de l'installer à partir de là. clickconfig D'autre part, il ne semble malheureusement pas avoir été porté à Gedit 3 et n'est pas compatible.

Plus généralement, pour Gedit 3 (qui se trouve dans Ubuntu 11.10 et plus), les plugins locaux doivent être installés à l'adresse suivante ~/.local/share/gedit/plugins Le site .plugin Le fichier doit se trouver dans ce répertoire exact, les sous-répertoires ne sont pas analysés. Par exemple, voici la disposition des fichiers du mien :

$ tree ~/.local/share/gedit/plugins/
/home/andrew/.local/share/gedit/plugins/
 markdown-preview
    __init__.py
    __init__.pyc
    locale
        fr
            LC_MESSAGES
                markdown-preview.mo
 markdown-preview.plugin
 reSt-preview
    __init__.py
    __init__.pyc
 reSt-preview.plugin

2voto

kurdtpage Points 153

D'après les documents officiels sur le Site web de gedit le dossier est : /home/username/.local/share/gedit/plugins . Si ce dossier n'existe pas, vous devrez le créer.

1voto

user55822 Points 2985

Essayez

~/.config/gedit/plugins

Ça a marché pour moi dans la 11.10.

J'utilise maintenant

~/.local/share/gedit/plugins

en 12.04. Ne me demandez pas pourquoi

SistemesEz.com

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.

Powered by:

X