Bug#907704: choose-mirror: default to deb.debian.org
On Mon, 10 Sep 2018, Philipp Kern wrote:
> What's mirroradm's take on this?
Well, (with my hat on, ) my take on this is that
a) all (3rd party) http mirrors are potentially bad and can go out of
date and become unmaintained and users may never notice.
b) deb.debian.org aims to be a reasonable default choice for most that
is backed and maintained by DSA.
If we have some means of automatically finding a close-by/fast mirror,
then we could do the following:
- Add it to sources.list, *and* *also*, given (a) above,
- add deb.debian.org as a fallback.
[ Also, once we have reasonable default choices, we should stop asking
people at priority high. Sure, if you know you want a proxy, switch
to medium and pick that. Ditto if you have your own preferred mirror. ]
--
| .''`. ** Debian **
Peter Palfrader | : :' : The universal
https://www.palfrader.org/ | `. `' Operating System
| `- https://www.debian.org/
Reply to: