Changes default Debian mirror

Although it isn't yet deprecated by the wiki[1], the Debian mirrors HTTP
redirector names itself as `httpredir.debian.org`, even when accessed at
`http.debian.net`.

[1]: https://wiki.debian.org/DebianGeoMirror
This commit is contained in:
Tiago Ilieve 2015-08-07 18:16:14 -03:00
parent 608de63d3e
commit f5de2fbc0d
2 changed files with 2 additions and 2 deletions

View file

@ -29,7 +29,7 @@ class BootstrapInformation(object):
self.volume = load_volume(self.manifest.volume, manifest.system['bootloader']) self.volume = load_volume(self.manifest.volume, manifest.system['bootloader'])
# The default apt mirror # The default apt mirror
self.apt_mirror = self.manifest.packages.get('mirror', 'http://http.debian.net/debian') self.apt_mirror = self.manifest.packages.get('mirror', 'http://httpredir.debian.org/debian/')
# Create the manifest_vars dictionary # Create the manifest_vars dictionary
self.manifest_vars = self.__create_manifest_vars(self.manifest, {'apt_mirror': self.apt_mirror}) self.manifest_vars = self.__create_manifest_vars(self.manifest, {'apt_mirror': self.apt_mirror})

View file

@ -159,7 +159,7 @@ variety of sources.
Default: ``false`` Default: ``false``
- ``mirror``: The default aptitude mirror. - ``mirror``: The default aptitude mirror.
``optional`` ``optional``
Default: ``http://http.debian.net/debian`` Default: ``http://httpredir.debian.org/debian/``
- ``sources``: A map of additional sources that should be added to - ``sources``: A map of additional sources that should be added to
the aptitude sources list. The key becomes the filename in the aptitude sources list. The key becomes the filename in
``/etc/apt/sources.list.d/`` (with ``.list`` appended to it), while ``/etc/apt/sources.list.d/`` (with ``.list`` appended to it), while