web-dev-qa-db-fra.com

Trouver le dossier du plugin gedit

Je suis un peu confus quant à l'endroit où je devrais mettre 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 sont affichés ou non va dans Édition -> Préférences -> Plugins et cherchez 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.

Aucun de ceux-ci ont fonctionné. Je suis un peu fatigué de polluer mon système. C'est probablement ma faute car c'est écrit quelque part, je n'ai pas pensé à regarder. S'il vous plaît, laissez-moi savoir comment ajouter correctement des plugins externes à Gedit. Je suis sous Ubuntu 11.10. Ma version de Gedit est 3.2.3

MODIFIER:

Je ne suis toujours pas capable de résoudre ce problème. J'ai aussi 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 dans le plugin "clickconfig".

geditplugins
14
BlackSheep

Tout d'abord, je vais répondre à la question sur les plugins spécifiques. gedit-developer-plugins Install gedit-developer-plugins est disponible dans les archives officielles Ubuntu, et je suggérerais de l’installer à partir de cet emplacement. 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 se trouve dans Ubuntu 11.10 et supérieur), les plugins locaux doivent être installés sur ~/.local/share/gedit/plugins. Le fichier .plugin doit se trouver exactement dans ce répertoire. Les sous-répertoires ne sont pas analysés. Par exemple, voici la structure de fichier de la mienne:

$ 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
12
andrewsomething

Essayer

~/.config/gedit/plugins

Travaillé pour moi dans 11.10.

J'utilise maintenant

~/.local/share/gedit/plugins

dans 12.04. Ne me demande pas pourquoi ..

1
user55822

D'après la documentation officielle sur le site Web de gedit , le dossier est le suivant: /home/username/.local/share/gedit/plugins. Si ce dossier n'existe pas, vous devrez le créer

1
kurdtpage