diff options
author | nico <nico@3c298f89-4303-0410-b956-a3cf2f4a3e73> | 2007-08-26 18:21:24 +0000 |
---|---|---|
committer | nico <nico@3c298f89-4303-0410-b956-a3cf2f4a3e73> | 2007-08-26 18:21:24 +0000 |
commit | 34d7258a8a136363197d63bac464524234c8eb6d (patch) | |
tree | 96ae8d7b703d4e72cd9bf09685568f92b0ca8d8f /scripts | |
parent | 24458ad0c5c40f0073a162b5e192527eaba00006 (diff) |
add a '@KERNEL' download facility, tweak script
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@8495 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'scripts')
-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 543dcc187..66eaca8b3 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; } |