download: add @GITHUB download facility

Define a new alias (@GITHUB) for downloading raw github repository files

Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>

SVN-Revision: 49138
This commit is contained in:
John Crispin
2016-04-09 10:25:34 +00:00
parent 0039bc665c
commit 5c408ede6c
2 changed files with 6 additions and 1 deletions

View File

@@ -182,6 +182,11 @@ foreach my $mirror (@ARGV) {
push @mirrors, "http://mirrors.ocf.berkeley.edu/apache/$1";
push @mirrors, "http://mirror.cc.columbia.edu/pub/software/apache/$1";
push @mirrors, "http://ftp.jaist.ac.jp/pub/apache/$1";
} elsif ($mirror =~ /^\@GITHUB\/(.+)$/) {
# give github a few more tries (different mirrors)
for (1 .. 5) {
push @mirrors, "https://raw.githubusercontent.com/$1";
}
} elsif ($mirror =~ /^\@GNU\/(.+)$/) {
push @mirrors, "http://ftpmirror.gnu.org/$1";
push @mirrors, "http://ftp.gnu.org/pub/gnu/$1";