17 Settembre 2013 alle 14:01
#88859
::
@Samiel
Appena operato sulla mia Debian 7. Sembra tutto ok!
Ovviamente, questi sono stati i comandi dati:
`sudo sh update-tlmgr-latest.sh
sudo tlmgr update –all`
Il secondo mi ha aggiornato ben 13 pacchetti.
Dopo l’aggiornamento, ho ridato
`sudo tlmgr update –all`
e tutto è andato come da norma.