[Risolto] Plugin di gedit
Inviato: domenica 21 settembre 2008, 23:41
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