LaTeX sempre aggiornato su Ubuntu

Nei repository di Ubuntu è presente TeXlive, la popolare distribuzione di LaTex.

Per chi non lo sapesse, LaTeX (pronuncia: latek) è un potentissimo software di composizione tipografica. È basato sul principio della distinzione fra forma e contenuto e consente di creare pubblicazioni di altissima qualità.

La versione presente nei repository ufficiali non è aggiornata nel corso di vita del sistema operativo. Esiste un PPA, ma solo per Precise, e poco aggiornato.

Esiste una soluzione. Si tratta di uno script, che potete scaricare con il seguente comando:
wget https://github.com/scottkosty/install-tl-ubuntu/raw/master/install-tl-ubuntu && chmod +x ./install-tl-ubuntu

Prima di andare avanti, ricordiamoci di fare pulizia dei pacchetti TeXlive di Ubuntu eventualmente installati in precedenza:

sudo apt-get remove texlive*

A questo punto si può avviare:
sudo ./install-tl-ubuntu

Lo script avvia l’installazione via internet, scaricando la versione completa di TeXlive.

Se abbiamo una connessione lenta o vogliamo fare un installazione offline, possiamo in alternativa scaricare in anticipo l’ISO di TeXlive e darla in pasto allo script:

chmod +x ./install-tl-ubuntu --iso nomeiso.iso

A questo punto abbiamo TeXlive installato e facilmente aggiornabile. Basta lanciare:

sudo "/opt/texbin/tlmgr -gui"

e abbiamo l’interfaccia grafica di TeXlive manager.

Annunci

2 thoughts on “LaTeX sempre aggiornato su Ubuntu

  1. Marce ha detto:

    Ciao, ho installato Texlive attraverso lo script, ma quando provo a lanciare il comando per aggiornare attraverso tlmgr, il terminale mi dice command not found. Eppure tlmgr esiste e si trova in /opt/texbin. Sai mica come potrei risolvere?

  2. Marce ha detto:

    Ho risolto lanciandolo da utente root, evidentemente i permessi di esecuzione lo pretendono. Una nota: per far partire la GUI di tlmgr, è necessario installare il pacchetto perl-tk, reperibile nei repo di Ubuntu.

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...