Update download.pl

This commit is contained in:
骷髅头 2023-01-31 08:37:07 +08:00 committed by GitHub
parent 3d0a5b88ab
commit dd7e289eba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -269,7 +269,7 @@ foreach my $mirror (@ARGV) {
} elsif ($mirror =~ /^\@GITHUB\/(.+)$/) {
# give github a few more tries (different mirrors)
for (1 .. 5) {
push @mirrors, "https://ghproxy.com/https://raw.githubusercontent.com/$1";
push @mirrors, "https://raw.githubusercontent.com/$1";
}
} elsif ($mirror =~ /^\@GNU\/(.+)$/) {
push @mirrors, "https://mirrors.ustc.edu.cn/gnu/$1";