From b0ee421a2aa91ab1871e41769bfb4ac924e25e91 Mon Sep 17 00:00:00 2001 From: Clint Adams Date: Thu, 9 Jul 2015 23:38:54 -0400 Subject: [PATCH] Use official mirror name for debian-minimal The canonical name of the official Debian mirror redirector is httpredir.debian.org. Change-Id: I61455919d84d414d5da7df699a5b14439f07ff3d --- elements/debian-minimal/environment.d/10-debian-minimal.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/elements/debian-minimal/environment.d/10-debian-minimal.bash b/elements/debian-minimal/environment.d/10-debian-minimal.bash index 7e5536a73..0e26dac6f 100644 --- a/elements/debian-minimal/environment.d/10-debian-minimal.bash +++ b/elements/debian-minimal/environment.d/10-debian-minimal.bash @@ -1,3 +1,3 @@ export DISTRO_NAME=debian export DIB_RELEASE=${DIB_RELEASE:-unstable} -export DIB_DISTRIBUTION_MIRROR=${DIB_DISTRIBUTION_MIRROR:-http://http.debian.net/debian} +export DIB_DISTRIBUTION_MIRROR=${DIB_DISTRIBUTION_MIRROR:-http://httpredir.debian.org/debian}