From 9a9cf40dd968f409cf36c9537e79438d35322d95 Mon Sep 17 00:00:00 2001 From: David Bauer Date: Sat, 20 Feb 2021 21:17:26 +0100 Subject: download: add mirror alias for Debian Add an alias for Debian packages and download them from the Debian mirror redirector. Signed-off-by: David Bauer --- scripts/download.pl | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'scripts') diff --git a/scripts/download.pl b/scripts/download.pl index 772982d1f2..a1d80e9b42 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -196,6 +196,10 @@ foreach my $mirror (@ARGV) { } } elsif ($mirror =~ /^\@OPENWRT$/) { # use OpenWrt source server directly + } elsif ($mirror =~ /^\@DEBIAN\/(.+)$/) { + push @mirrors, "https://ftp.debian.org/debian/$1"; + push @mirrors, "https://mirror.leaseweb.com/debian/$1"; + push @mirrors, "https://mirror.netcologne.de/debian/$1"; } elsif ($mirror =~ /^\@APACHE\/(.+)$/) { push @mirrors, "https://mirror.netcologne.de/apache.org/$1"; push @mirrors, "https://mirror.aarnet.edu.au/pub/apache/$1"; -- cgit v1.2.3