script: downlaod: change mirror for kernel.org

kernel.org now suggests a different mirror address. this one also
support IPv6 connections and was faster for me.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>

SVN-Revision: 46875
This commit is contained in:
Hauke Mehrtens 2015-09-11 17:59:12 +00:00
parent 98e00f8fdd
commit accc5e3693

View file

@ -173,8 +173,8 @@ foreach my $mirror (@ARGV) {
push @extra, "$extra[0]/longterm/v$1";
}
foreach my $dir (@extra) {
push @mirrors, "ftp://ftp.all.kernel.org/pub/$dir";
push @mirrors, "http://ftp.all.kernel.org/pub/$dir";
push @mirrors, "https://kernel.org/pub/$dir";
push @mirrors, "ftp://kernel.org/pub/$dir";
}
} elsif ($mirror =~ /^\@GNOME\/(.+)$/) {
push @mirrors, "http://ftp.gnome.org/pub/GNOME/sources/$1";