Pagina 1 di 1

[Risolto] Plugin di gedit

Inviato: domenica 21 settembre 2008, 23:41
da bubbles1984
Buonasera, anzi, buonanotte.
Ho Ubuntu 8.04.
Ho sempre usato gedit con un plugin OPZIONALE per compilare codice LaTeX. Non sto a spiegarvi il perché e il per come, fatto sta che vorrei re-installare da zero questo plugin. Vi basti sapere che avevo personalizzato alcune opzioni del vacchio dando nomi "personalizzati", dai quali capisco che ri-lanciando l'installazione del plugin da zero, quello vecchio rimane e quello nuovo non so che fine fa...
- ho cercato inutilmente di rimuovere il vecchio plugin e non ci sono riuscito (come si fa a cancellare un plugin scaricato dal sito di gnome?)
- ho disinstallato e re-installato più volte tutto gedti attraversto Synaptic e nella nuova installazione il plugin c'era come prima
- ho disinstallato gedit e cancellato manualmente la cartella /usr/lib/gedit e /usr/lib/gedit-2, quindi reinstallato gedit e il plugin continua ad esserci
non so proprio come fare...  >:(
mi date una mano?
grazie
GG

Re: Plugin di gedit

Inviato: domenica 21 settembre 2008, 23:48
da Re.in.stallo
Prova a cancellare i file e le cartelle inerenti al plugin latex dalla cartella:

Codice: Seleziona tutto

~/.gnome2/gedit/plugins
Saluti, ;)
Gabriele

Re: Plugin di gedit

Inviato: domenica 21 settembre 2008, 23:50
da bubbles1984
Re.in.stallo ha scritto: Prova a cancellare i file e le cartelle inerenti al plugin latex dalla cartella:

Codice: Seleziona tutto

~/.gnome2/gedit/plugins
Saluti, ;)
Gabriele
grazie per il consiglio, ma...
già fatto, cancellando tutta la cartella ~/gnome2

Re: Plugin di gedit

Inviato: domenica 21 settembre 2008, 23:55
da bubbles1984
Re.in.stallo ha scritto: Prova a cancellare i file e le cartelle inerenti al plugin latex dalla cartella:

Codice: Seleziona tutto

~/.gnome2/gedit/plugins
Saluti, ;)
Gabriele
ho provato anche a fare così: con gedit installato, cancello la cartella /usr/lib/gedit-2/plugin
poi apro gedit e vado su modifica-preferenze-plugin
tutti i plugin "di base" sono spariti, quelli che ho aggiunto io manualmente stanno ancora lì...
[edited] ho eliminato anche /home/mionome/.gconf/apps/gedit-2 ma niente da fare.
qual'è la cartella da eliminare?

Re: Plugin di gedit

Inviato: lunedì 22 settembre 2008, 0:08
da bubbles1984
trovato!
la  :-X di una cartella da cancellare era /home/mionome/.gnome2/gedit

RIASSUMENDO:
Le cartelle in cui gedit mette i suoi files di configurazione sono
/home/mionome/.gnome2/gedit
/home/mionome/.gconf/apps/gedit-2
/usr/lib/gedit-2/

Re: Plugin di gedit

Inviato: lunedì 22 settembre 2008, 0:10
da Re.in.stallo
bubbles1984 ha scritto: trovato!
la  :-X di una cartella da cancellare era /home/mionome/.gnome2/gedit
che era quella che ti avevo in parte segnalato...
Re.in.stallo ha scritto:

Codice: Seleziona tutto

~/.gnome2/gedit/plugins
Saluti, ;)
Gabriele

@edit: ma serve cancellare tutto il folder gedit o solo il sottofolder plugins?