From 3124f226a5e604b365b5423848e3bd2efeded360 Mon Sep 17 00:00:00 2001 From: David Bauer Date: Sat, 20 Feb 2021 19:18:32 +0100 Subject: [PATCH] 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 Signed-off-by: maurerr --- scripts/download.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/download.pl b/scripts/download.pl index beb3abdeee4..772982d1f27 100755 --- 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";