From e5c6534d9cf8a45d9cb5f605a671e9b772c39d69 Mon Sep 17 00:00:00 2001 From: Nicky Gerritsen Date: Fri, 5 Nov 2021 14:40:30 +0100 Subject: [PATCH] Use main ports mirror since it seems to use a local mirror anyway. --- misc-tools/dj_make_chroot.in | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/misc-tools/dj_make_chroot.in b/misc-tools/dj_make_chroot.in index 409d69f9fc..7f5351d396 100755 --- a/misc-tools/dj_make_chroot.in +++ b/misc-tools/dj_make_chroot.in @@ -181,14 +181,10 @@ DEBOOTDEB="debootstrap_1.0.118ubuntu1_all.deb" if [ -z "$DEBMIRROR" ]; then # x86_64 can use the main Ubuntu repo's, other # architectures need to use a mirror from ubuntu-ports. - # Besides the main mirror (ports.ubuntu.com) currently - # only the one from kumi.systems seems to have most ports - # and it is faster than ports.ubuntu.com so we use that as - # default. if [ "$(uname -m)" = "x86_64" ]; then DEBMIRROR="http://us.archive.ubuntu.com./ubuntu/" else - DEBMIRROR="http://mirror.kumi.systems/ubuntu-ports/" + DEBMIRROR="http://ports.ubuntu.com/ubuntu-ports/" fi fi