diff options
| author | David Bauer <mail@david-bauer.net> | 2021-02-20 21:17:26 +0100 |
|---|---|---|
| committer | David Bauer <mail@david-bauer.net> | 2021-02-26 20:41:00 +0100 |
| commit | 9a9cf40dd968f409cf36c9537e79438d35322d95 (patch) | |
| tree | 9d2fdac0a2e3d1eb529a5bc996d744c2970dcb53 /scripts | |
| parent | 01c01d9861d26af53b88f15cb13283af5d9685a9 (diff) | |
| download | upstream-9a9cf40dd968f409cf36c9537e79438d35322d95.tar.gz upstream-9a9cf40dd968f409cf36c9537e79438d35322d95.tar.bz2 upstream-9a9cf40dd968f409cf36c9537e79438d35322d95.zip | |
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 <mail@david-bauer.net>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/download.pl | 4 |
1 files changed, 4 insertions, 0 deletions
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"; |