Trouver le dossier du plugin gedit


14

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:

  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 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".


Vous devez ajouter les plugins que vous souhaitez installer dans votre message.
user55822

Réponses:


12

Tout d'abord, je répondrai à la question sur les plugins spécifiques. gedit-developer-pluginsInstaller 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/pluginsLe .pluginfichier doit être dans ce répertoire exact, les sous-répertoires ne sont pas analysés. Par exemple, voici la disposition des fichiers à moi:

$ 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

4
Savez-vous si cela fonctionne toujours avec Ubuntu 14.04 / Gedit 3.10.4? Parce que pour moi, votre solution ne fonctionne pas. Fait intéressant, le dossier ~ / .local / share / gedit / plugins / n'existait même pas, bien que Gedit ait certains plugins activés. Ont-ils changé quelque chose?
MERose

1

Essayer

~/.config/gedit/plugins

A travaillé pour moi en 11.10.

J'utilise maintenant

~/.local/share/gedit/plugins

en 12.04. Ne me demandez pas pourquoi ..


Désolé, cela n'a pas fonctionné pour moi.
Daniel Kats

Certains plugins ne sont pas compatibles avec gedit3. S'il ne mentionne pas gedit3 sur la page Web ou README, ce n'est probablement pas le cas.
user55822

1

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éer


A travaillé pour moi dans Ubuntu 16.04 LTS. J'ai dû créer les dossiers selon la hiérarchie mentionnée et copier les fichiers .pluginet .pyfichiers de mon plugin dans ce répertoire.
Sushant Chaudhary
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.