Piuttosto: TeX Live Manager su Windows (io ho TeX Live 2010 sul mio PC, ma non è in rete) come si comporta? Ti andrebbe di riportarmi la procedura con la stessa meticolosità? 😀
In particolare, è vero che dopo l’aggiornamento del sistema bisogna SEMPRE aggiornare i database dei formati e delle mappe dei font, oppure anche su TL quest’operazione va fatta soltanto se si modifica l’albero personale?
Su Mac non ce n’è bisogno: alla fine dell’aggiornamento TeX Live Utility fa sempre partire in automatico il refresh dei vari database.
Grassie e ciao
Tommaso
Guarda, io pure ho TL 2010, apro il prompt dei comandi e scrivo:
`tlmgr update -self -all`
dove (se ho ben capito), -self serve per aggiornare la struttura di TL, e -all serve per aggiornare pacchetti, database dei formati, e mappe dei font.
Spero di non aver detto qualche cavolata; in ogni caso faccio sempre così, poi se ci sono procedure migliori, sono tutt’orecchi 😀 .
Ciao,
Orlando.