30 Novembre 2014 alle 9:42
#98791
::
Doc” post=98332 @Ivan
Il repo di Roma mi è stato impostato automaticamente in fase di installazione.A questo punto, in pratica, cosa dovrei fare? Cancellare proprio il repo di Roma è lasciare quello del Garr? Dico bene?
Se cancello quello di Roma, quello del Garr diviene automaticamente [tt]main[/tt]?Ciao,
Domenico
Esatto. Nelle configurazioni di tex live manager imposta come repository principale uno di quelli che ti ho indicato.
Ciao
Ivan