è possibile anche gestire tutti i repo di arch dal solo /etc/pacman.conf, inserendovi:
Codice:
[core]
Server = indirizzo esteso del repo
eccetera, per ogni repo, commentando gli include.
da stabilire però se al prossimo aggiornamento di pacman il file verrà riscritto. non credo, ma eventualmente poco male, almeno nel mio caso, dato che avendo la mia connessione il traffico ftp svantaggiato, sono costretto ad usare indirizzi http, e il mirror del garr non è incluso tra i repo "di default" e quindi lo dovrei scrivere a mano lo stesso.
alla fine questione di gusti cmq.