Re: Tex Live Utility

Una delle impostazioni di TeX Live utuility è quela che eprmette di scegliere il server a cui connetteris, per l’Italia cerca nella lista dei server quello che contiene la parola garr; per l’Italia è il migliore. Io, nonostante questo preferisco collegarmi a Vienna oppure a un server olandese, ma sempre un server specifico; se non lo stabilisci tu, il server di default per l’Italia è quello di Roma2, che soffre dei problemi che tutti sappiamo; quando funziona è di solito troppo lento. il mio mirro è QUESTO