From 01c01d9861d26af53b88f15cb13283af5d9685a9 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 --- scripts/download.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/download.pl b/scripts/download.pl index beb3abdeee..772982d1f2 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"; -- 2.30.2