Il giorno Mon, 11 Jul 2022 17:30:55 +0200 peterpunk <[email protected]> ha scritto:
> > > 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. vado a memoria e quindi potrei sbagliare. Durante l' installazione ricordo un " da dove vuoi scaricare i .deb ? " Senza nessuna nota che dice deb.debian.org è default o consigliato. -- Filippo
