diff options
| author | David Bauer <mail@david-bauer.net> | 2021-02-20 19:18:32 +0100 |
|---|---|---|
| committer | David Bauer <mail@david-bauer.net> | 2021-02-26 20:41:00 +0100 |
| commit | 01c01d9861d26af53b88f15cb13283af5d9685a9 (patch) | |
| tree | dfb04f5c7e907c176890d15d094edad37275d925 /scripts | |
| parent | cc2d61edc3bf70e0560d067490be3af8fa0729ab (diff) | |
| download | upstream-01c01d9861d26af53b88f15cb13283af5d9685a9.tar.gz upstream-01c01d9861d26af53b88f15cb13283af5d9685a9.tar.bz2 upstream-01c01d9861d26af53b88f15cb13283af5d9685a9.zip | |
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>
Diffstat (limited to 'scripts')
| -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"; |