download: use mirror redirector for GNOME downloads

Use the GNOME mirror redirector as the primary download source for GNOME
packages.

Signed-off-by: David Bauer <mail@david-bauer.net>

diff --git a/scripts/download.pl b/scripts/download.pl
index beb3abdeee429acd7489e7b8ce1e94dc31dfe3c3..772982d1f279398181d20e694d2db955514c64d5 100755 (executable)
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -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";