Bug#860472: apt-setup: switch fallback mirror from ftp.debian.org to deb.debian.org?

[Cyril Brulebois <kibi@debian.org>]

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?


KiBi.