download: use mirror redirector for GNOME downloads
authorDavid Bauer <mail@david-bauer.net>
Sat, 20 Feb 2021 18:18:32 +0000 (19:18 +0100)
committerDavid Bauer <mail@david-bauer.net>
Fri, 26 Feb 2021 19:41:00 +0000 (20:41 +0100)
Use the GNOME mirror redirector as the primary download source for GNOME
packages.

Signed-off-by: David Bauer <mail@david-bauer.net>
scripts/download.pl

index beb3abdeee429acd7489e7b8ce1e94dc31dfe3c3..772982d1f279398181d20e694d2db955514c64d5 100755 (executable)
@@ -245,6 +245,7 @@ foreach my $mirror (@ARGV) {
                        push @mirrors, "ftp://www.mirrorservice.org/sites/ftp.kernel.org/pub/$dir";
                }
        } elsif ($mirror =~ /^\@GNOME\/(.+)$/) {
+               push @mirrors, "https://download.gnome.org/sources/$1";
                push @mirrors, "https://mirror.csclub.uwaterloo.ca/gnome/sources/$1";
                push @mirrors, "http://ftp.acc.umu.se/pub/GNOME/sources/$1";
                push @mirrors, "http://ftp.kaist.ac.kr/gnome/sources/$1";