diff options
author | Nicolas Thill <nico@openwrt.org> | 2007-08-26 18:21:24 +0000 |
---|---|---|
committer | Nicolas Thill <nico@openwrt.org> | 2007-08-26 18:21:24 +0000 |
commit | 1b226e4de19bad05221be1d6ab8e8f2e5dcc36ff (patch) | |
tree | 04554ed3f0fd240198b3d807d12aa65fcd71532a /scripts/download.pl | |
parent | b35e6fe3bad807e9a8fcb00d4b916c1b8480b982 (diff) | |
download | upstream-1b226e4de19bad05221be1d6ab8e8f2e5dcc36ff.tar.gz upstream-1b226e4de19bad05221be1d6ab8e8f2e5dcc36ff.tar.bz2 upstream-1b226e4de19bad05221be1d6ab8e8f2e5dcc36ff.zip |
add a '@KERNEL' download facility, tweak script
SVN-Revision: 8495
Diffstat (limited to 'scripts/download.pl')
-rwxr-xr-x | scripts/download.pl | 26 |
1 files changed, 17 insertions, 9 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index 543dcc1879..66eaca8b36 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -112,15 +112,23 @@ foreach my $mirror (@ARGV) { push @mirrors, "http://downloads.sourceforge.net/$1"; } } elsif ($mirror =~ /^\@GNU\/(.+)$/) { - my $gnupath = $1; - push @mirrors, "ftp://ftp.gnu.org/gnu/$gnupath"; - push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$gnupath"; - push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$gnupath"; - push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$gnupath"; - push @mirrors, "ftp://ftp.uu.net/archive/systems/gnu/$gnupath"; - push @mirrors, "ftp://ftp.eu.uu.net/pub/gnu/$gnupath"; - push @mirrors, "ftp://ftp.leo.org/pub/comp/os/unix/gnu/$gnupath"; - push @mirrors, "ftp://ftp.digex.net/pub/gnu/$gnupath"; + push @mirrors, "ftp://ftp.gnu.org/gnu/$1"; + push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$1"; + push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$1"; + push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$1"; + push @mirrors, "ftp://ftp.uu.net/archive/systems/gnu/$1"; + push @mirrors, "ftp://ftp.eu.uu.net/pub/gnu/$1"; + push @mirrors, "ftp://ftp.leo.org/pub/comp/os/unix/gnu/$1"; + push @mirrors, "ftp://ftp.digex.net/pub/gnu/$1"; + } elsif ($mirror =~ /^\@KERNEL\/(.+)$/) { + push @mirrors, "ftp://ftp.us.kernel.org/pub/$1"; + push @mirrors, "http://ftp.us.kernel.org/pub/$1"; + push @mirrors, "ftp://ftp.kernel.org/pub/$1"; + push @mirrors, "http://ftp.kernel.org/pub/$1"; + push @mirrors, "ftp://ftp.de.kernel.org/pub/$1"; + push @mirrors, "http://ftp.de.kernel.org/pub/$1"; + push @mirrors, "ftp://ftp.fr.kernel.org/pub/$1"; + push @mirrors, "http://ftp.fr.kernel.org/pub/$1"; } else { push @mirrors, $mirror; } |