Bene usare “server”, l’utente medio già forse non capisce che significhi “server”.
Ottimo.
Correggi: non è http://www.mirror.org, bensì http://mirror.ctan.org.
Giusto, mi era proprio sfuggito. Ho appena aggiornato l’Arte, apportando qualche altra piccola modifica.
Per quanto riguarda tlmgr, spero che ti sia ricordato di dire che va usato sempre e solo come superuser, cioè come utente “root” oppure con il prefisso “sudo”, dipende dal tipo di Unix o GNU/Linux su cui ci si trova (se non sbaglio, distribuzioni di tipo Red Hat o Slackware preferiscono root, mentre Ubuntu preferisce sudo).
Molto bene, aggiungo subito questa precisazione.
Mi piacerebbe conocere il tuo giudizio circa la nota a pagina 28, relativa agli alberi principale e locale. L’ho appena ancora un po’, ma più di tanto non è possibile comprimerla, se non rinunciando a qualcosa. Che ne pensi?
Ancora grazie,
Lorenzo