Où puis-je trouver les dossiers des plugins local et gedit dans Ubuntu 14.04?
Je sais que cela sera probablement marqué comme un doublon. Mais aucune des réponses dans Trouver le dossier du plugin gedit ne peut résoudre mon problème. Il semble que je n’ai pas de dossier de plugins gedit. Y a-t-il un moyen facile de le trouver? J'ai essayé avec tous les chemins possibles, mais il semble qu'il n'y ait pas un tel dossier.
Ce qui est également étrange, c'est que je n'ai pas de dossier local. Le dossier local a-t-il un autre nom dans Ubuntu 14.04?
Les plugins Gedit installés par votre gestionnaire de paquets iront dans:
/usr/lib/x86_64-linux-gnu/gedit/plugins/
ou
/usr/lib/i386-linux-gnu/gedit/plugins/
ou
/usr/lib/gedit/plugins/
Vos plugins "locaux", ceux que vous avez installés depuis les sources se trouvent généralement dans:
~/.local/share/gedit/plugins/
Ajout à la réponse @Sylvian ci-dessus,
Les plugins Gedit 3 installés par mon gestionnaire de paquets étaient dans:
/usr/lib/gedit/plugins/
Mes plugins "locaux", ceux que vous avez installés depuis les sources ont été trouvés dans:
~/.local/share/gedit/plugins/