Ho appena installato Ubuntu 11.10 e voglio installare un plugin per gEdit .
Ho decompresso il plugin nella seguente cartella: ~/.gnome2/gedit/plugins
ma in gedit non compare il plugin.
Ho appena installato Ubuntu 11.10 e voglio installare un plugin per gEdit .
Ho decompresso il plugin nella seguente cartella: ~/.gnome2/gedit/plugins
ma in gedit non compare il plugin.
Risposte:
La versione di gEdit in Oneiric e versioni successive è v3 creata usando le librerie gtk + 3. Le posizioni delle cartelle dei plugin sono leggermente diverse rispetto a gEdit v2.
Ogni plugin ha bisogno di almeno due file.
Un file (pluginname.plugin) è dire gedit
:
Questo file è nel .desktop
formato.
Il secondo file è il codice effettivo.
Entrambi questi file devono essere inseriti in:
/usr/lib/gedit/plugins/
o~/.local/share/gedit/plugins/
.Per prima cosa crea la cartella dei plugin:
mkdir -p ~/.local/share/gedit/plugins
Ora crea un .plugin
file usando gedit NB questi file hanno il formato:
[Plugin]
Loader=python
Module=examplepy
IAge=3
Name=Example py
Description=A Python plugin example
Authors=Jesse van den Kieboom <jesse@icecrew.nl>
Copyright=Copyright © 2006 Jesse van den Kieboom <jesse@icecrew.nl>
Website=http://www.gedit.org
Per il tuo plug-in v2 hai già un file chiamato in project-manager.gedit-plugin
modo da poterlo rinominare:
mv project-manager.gedit-plugin project-manager.plugin
Quindi modifica il file del plug-in e modifica l'intestazione della sezione in "[Plugin]"
Ora vedrai questo nel tuo elenco di plugin gedit.
Comunque per me ha gettato errori su "import gedit, gtk, gtk.glade".
È necessario modificare il codice sorgente per importare le varianti gtk + 3, chiamate introspezione python.
Un eccellente tutorial per la conversione da GTK + 2 a GTK + 3 vedi
Aggiornamento 2016
Per installare tutti i plugin di gedit, prova:
sudo apt-get install gedit-plugins
Questo ha funzionato alla grande su Ubuntu 14.04. Attualmente sto usando gedit versione 3.10.4.
Dovrai attivarli andando su Modifica - Preferenze - Plugin. Quindi selezionare i plug-in desiderati da attivare.
Ho un Ubuntu 14.04 LTS a 64 bit e la cartella con i plugin è /usr/lib/x86_64-linux-gnu/gedit/plugins/
Copiare al suo interno i file *.plugin
e ha *.py
fatto il trucco per me
.plugin
un'estensione. Se ha.gedit-plugin
un'estensione, è una versione precedente.