On Mon, 11 Jul 2022 15:09:05 +0200 Filippo wrote:
Da alcuni giorni non riesco ad aggiornare debian 11 e debian 12 su
GARR
(...)
Ma non è meglio usare il servizio di reindirizzamento deb.debian.org?
Oltre a essere più veloce, grazie al download in parallelo da più
mirror, ti affranca dal dover modificare il tuo sources.list in caso
di malfunzionamenti locali. Mi pare sia questa la scelta di default
sin dai tempi di Buster.
peterpunk
--
,= ,-_-. =.
((_/)o o(\_))
`-'(. .)`-'
\_/ printf("Mai un giorno senza una riga\n");
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)