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

Reply via email to