From 0dd90b05f8b1a45a3cc1a881d914edbe6f71c549 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 8d40646694..d5fd1944c1 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -259,6 +259,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://mirrors.ustc.edu.cn/gnome/sources/$1"; push @mirrors, "https://mirror.csclub.uwaterloo.ca/gnome/sources/$1"; push @mirrors, "http://ftp.acc.umu.se/pub/GNOME/sources/$1";