SoONicK” post=60830Sto per finire le domande (almeno in questa discussione). Ancora un po di pazienza per favore 🙂
Sembra che installando solo il plugin di gedit i pacchetti installati del texlive2009 siano piuttosto pochi.
Dunque, se non ci sono problemi di incombatibilità tra la versione del 2009 e quella del 2011, tengo gedit…Provando invece a scaricare il solo plugin a mano, ho visto che nel pacchetto ci sono una cartella e un documento: devo inserirle tutt’e due in ~/.local/share/gedit/plugins/?
Grazie comunque delle risposte davvero chiare ed esaurienti.
Scompatta tutto così com’è in quella cartella, ma, se proprio te la devo dire tutta, quel plugin lo eviterei come una peste!
Pesante come un mattone e, soprattutto, INFINITAMENTE meno comodo di un texmaker o un texworks.