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.