Skip to content

Commit

Permalink
Use main ports mirror since it seems to use a local mirror anyway.
Browse files Browse the repository at this point in the history
  • Loading branch information
nickygerritsen committed Nov 5, 2021
1 parent 6b42823 commit e5c6534
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions misc-tools/dj_make_chroot.in
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit e5c6534

Please sign in to comment.