Ciao
[Scrivo qui, perché il casus belli mi si presenta consultando l’Arte, ma probabilmente l’argomento è più di ampio respiro, e potrebbe forse meritarsi un topic a sé, se non fosse che il fourm ne è già “pieno” (e, ahimé, non trovo una soluzione aggiornata!).]
Su una versione dell’Arte di qualche tempo fa ti spingevi a suggerire un mirror più veloce di http://ftp.roma2. Oggi, quel suggerimento è sparito. Mi chiedevo: roma2 è tanto migliorato (ma non mi pare) da poterlo utilizzare senza attendere tempi geologici per un aggiornamento? Io, nel dubbio, ero solito usare dante, ma ultimamente tlmgr non mi accetta più il solito indirizzo. So che sul ctan c’è una lista dei server disponibili, ma forse è fin troppo lunga e scegliere alla cieca può non essere la soluzione migliore (io, d’istinto, dal nord italia andrei al server romano, ma poi si scopre che non ne vale la pena). Nel dubbio, ho “copiato” quanto suggerisce Enrico in questo post e ho scelto http://bo.mirror.garr.it/mirrors/CTAN/systems/texlive/tlnet/2008/ , ma vorrei chiedere a voi (e per questo forse il post poteva stare a sé); per rimanere sul post relativo all’Arte, invece, chiedo: è così conveniente non dare al lettore alcuna indicazione sussidiaria? O meglio, sarebbe così sconveniente consigliargli un mirror? Si tenga conto che l’arte è in continuo aggiornamento (fin troppo, mi scapperebbe da dire: se la si è scaricata la settimana scorsa, si potrebbe già avere per le mani una versione “vecchia”!), quindi leggendo un’indicazione lì si avrebbe la certezza quasi matematica di non incappare in un consiglio ormai fuori tempo (cosa che, invece, accade copiando da un post – se non si bada alla data in cui è stato spedito il messaggio – o da un sito – guit stesso non riporta a fondo pagina la dicitura “Ultimo aggiornameto: …” che, invece, secondo me è, molto utile)
Miseria quanto ho scritto! Scusate!
Grazie!