diff options
| -rwxr-xr-x | scripts/download.pl | 1 |
1 files changed, 1 insertions, 0 deletions
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"; |