diff options
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"; |