On Mon, 2017-04-17 at 15:25 +0200, Cyril Brulebois wrote:
> Package: apt-setup
> Severity: normal
>
> We have a few places with a default mirror, e.g. debootstrap, and we've
> had a few changes over the years with http.debian.net and other things.
> Lately, we seem to have standardized on deb.debian.org, which might be a
> good fallback for apt-setup too:
>
> kibi@armor:~/debian-installer/packages/apt-setup/generators$ git grep ftp.debian.org
> > 92updates: echo "# deb http://ftp.debian.org/debian/ ${codename}-updates $dists" >> $file
> > 92updates: echo "# deb-src http://ftp.debian.org/debian/ ${codename}-updates $dists" >> $file
> > 93backports: echo "# deb http://ftp.debian.org/debian/ ${codename}-backports $dists" >> $file
> > 93backports: echo "# deb-src http://ftp.debian.org/debian/ ${codename}-backports $dists" >> $file
>
> Comments/objections?
I agree we should use deb.debian.org as a 'safe' default mirror. We
should certainly not put a hostname in APT sources that doesn't
correspond to a tightly synched set of servers.
Ben.
--
Ben Hutchings
I say we take off; nuke the site from orbit. It's the only way to be
sure.
Attachment:
signature.asc
Description: This is a digitally signed message part