[Risolto] Plugin di gedit
-
bubbles1984
- Prode Principiante
- Messaggi: 43
- Iscrizione: lunedì 9 giugno 2008, 15:17
- Contatti:
[Risolto] Plugin di gedit
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
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
Ultima modifica di bubbles1984 il lunedì 22 settembre 2008, 0:08, modificato 1 volta in totale.
- Re.in.stallo
- Scoppiettante Seguace

- Messaggi: 646
- Iscrizione: martedì 20 dicembre 2005, 23:50
Re: Plugin di gedit
Prova a cancellare i file e le cartelle inerenti al plugin latex dalla cartella:
Saluti, 
Gabriele
Codice: Seleziona tutto
~/.gnome2/gedit/pluginsGabriele
Sto diventando un allitterato, non riecso più a scrviere senza errori con la tatsiera...
-
bubbles1984
- Prode Principiante
- Messaggi: 43
- Iscrizione: lunedì 9 giugno 2008, 15:17
- Contatti:
Re: Plugin di gedit
grazie per il consiglio, ma...Re.in.stallo ha scritto: Prova a cancellare i file e le cartelle inerenti al plugin latex dalla cartella:Saluti,Codice: Seleziona tutto
~/.gnome2/gedit/plugins
Gabriele
già fatto, cancellando tutta la cartella ~/gnome2
-
bubbles1984
- Prode Principiante
- Messaggi: 43
- Iscrizione: lunedì 9 giugno 2008, 15:17
- Contatti:
Re: Plugin di gedit
ho provato anche a fare così: con gedit installato, cancello la cartella /usr/lib/gedit-2/pluginRe.in.stallo ha scritto: Prova a cancellare i file e le cartelle inerenti al plugin latex dalla cartella:Saluti,Codice: Seleziona tutto
~/.gnome2/gedit/plugins
Gabriele
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?
Ultima modifica di bubbles1984 il domenica 21 settembre 2008, 23:59, modificato 1 volta in totale.
-
bubbles1984
- Prode Principiante
- Messaggi: 43
- Iscrizione: lunedì 9 giugno 2008, 15:17
- Contatti:
Re: Plugin di gedit
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/
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.in.stallo
- Scoppiettante Seguace

- Messaggi: 646
- Iscrizione: martedì 20 dicembre 2005, 23:50
Re: Plugin di gedit
che era quella che ti avevo in parte segnalato...bubbles1984 ha scritto: trovato!
la :-X di una cartella da cancellare era /home/mionome/.gnome2/gedit
Saluti,Re.in.stallo ha scritto:Codice: Seleziona tutto
~/.gnome2/gedit/plugins
Gabriele
@edit: ma serve cancellare tutto il folder gedit o solo il sottofolder plugins?
Ultima modifica di Re.in.stallo il lunedì 22 settembre 2008, 0:13, modificato 1 volta in totale.
Sto diventando un allitterato, non riecso più a scrviere senza errori con la tatsiera...
Chi c’è in linea
Visualizzano questa sezione: 0 utenti iscritti e 14 ospiti