From 9136080defec2e230ba3238ec10dc222e6731752 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20P=C3=B6hn?= Date: Sun, 29 Jul 2018 13:43:48 +0200 Subject: [PATCH] update default mirror to deb.debian.org --- makebuildserver | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makebuildserver b/makebuildserver index 2411afb1..9ecc9a4b 100755 --- a/makebuildserver +++ b/makebuildserver @@ -56,7 +56,7 @@ logger.debug('cachedir set to: %s', cachedir) config = { 'basebox': 'fdroid-stretch64', - 'debian_mirror': 'http://http.debian.net/debian/', + 'debian_mirror': 'http://deb.debian.org/debian/', 'apt_package_cache': False, 'copy_caches_from_host': False, 'boot_timeout': 600,