- Questo topic ha 2 risposte, 2 partecipanti ed è stato aggiornato l'ultima volta 12 anni, 12 mesi fa da .
-
Topic
-
Salve a tutti! Ho un problemino e vorrei sapere se qualcuno si è già trovato a doverlo affrontare.Ho deciso che per essere più rapido nella stesura voglio iniziare ad usare un IDE, che sono pensati proprio per questo.
Il mio problema, in quanto utente Ubuntu (Kubuntu 13.04, precisamente), è che quando installo gummi o texmaker (con sudo apt-get install XXX) mi viene proposta anche l’installazione dei pacchetti texlive-YYY presenti nel repository.Peccato che abbia già provato sulla mia pelle quanto quei pacchetti siano stantii ed abbia conseguentemente provveduto ad installare una versione aggiornata con il tl-installer. Io non voglio una seconda ed obsoleta installazione di LaTeX sul sistema, e non per questioni di spazio ma di incasinamento del sistema stesso (aggiungiamo che ho la memoria corta: mi immagino la mia faccia tra qualche mese quando tenterò di capire cos’aveva fatto il mio io dell’allora-passato attuale-presente).
Ho visto che Texmaker fornisce un archivio self-contained che non necessita di installazione, ma mi piacerebbe anche provare Gummi. C’è qualcuno che ha qualche consiglio in merito al problema, a parte la compilazione di Gummi dal sorgente? (Eviterei la compilazione dal sorgente perché, in generale, mi piace che il packet manager tenga traccia di cosa è installato e cosa no – già texlive è un’eccezione a questo: non vorrei rendere l’eccezione una regola)
Grazie a tutti!
- Devi essere connesso per rispondere a questo topic.