La persona per cui mi sto interessando sono tutti i lettori dell’Arte 😀
La persona per cui mi sto interessando sono io, che sul PC ho installato TeX Live 2010, ma non avendolo collegato alla rete non so l’esatta procedura di aggiornamento. Siccome Lorenzo e io stiamo riscrivendo il relativo capitolo, allora ci faceva comodo sapere esattamente come fare, per poterlo dire al lettore. Tutto qui 😀
Tu mi hai illuminato, appunto, e ti ringrazio. Una sola cosa rimane da dirimere: Ivan sostiene (e forse è vero) che dopo aver installato TeX Live su Windows DALLA RETE (sempre che si riesca a farlo senza inceppamenti) rimane impostato il mirror da cui hai scaricato la distribuzione. E questo non sarebbe un mistero, di per sé.
Quello che vorrei davvero sapere è: è vero che se si installa TeX Live su Windows da DVD e si prova a cambiare il mirror per gli aggiornamenti nella finestrella di TeX Live Manager, qualunque server si metta si viene sempre reindirizzati verso quello di Roma?
Ultimo dubbio: MiKTeX (2.9) richiede il refresh dei database dei file e dei formati soltanto dopo aver modificato l’albero personale. MacTeX non lo richiede mai. TeX Live su Windows lo richiede anche dopo un normale aggiornamento?
Sulla modestia di TeX Live Manager rispetto a TeX Live Utility non mi lamento: non uso quasi più Windows, e non mi sconvolge più di tanto 😀
Ivan dice di sì. Io non so. Attendo lumi.
Ciao
Tommaso