From fe82ea049e521043d88c036ecdda4d2be6a14f1c Mon Sep 17 00:00:00 2001 From: David Bauer Date: Sun, 9 Aug 2020 00:33:57 +0200 Subject: [PATCH] scripts: download.pl: fix indentation Signed-off-by: David Bauer --- scripts/download.pl | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/scripts/download.pl b/scripts/download.pl index dd49255367..cdccae133f 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -243,7 +243,7 @@ foreach my $mirror (@ARGV) { push @mirrors, "ftp://ftp.riken.jp/Linux/kernel.org/$dir"; push @mirrors, "ftp://www.mirrorservice.org/sites/ftp.kernel.org/pub/$dir"; } - } elsif ($mirror =~ /^\@GNOME\/(.+)$/) { + } elsif ($mirror =~ /^\@GNOME\/(.+)$/) { 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"; @@ -252,8 +252,7 @@ foreach my $mirror (@ARGV) { push @mirrors, "http://ftp.belnet.be/ftp.gnome.org/sources/$1"; push @mirrors, "ftp://ftp.cse.buffalo.edu/pub/Gnome/sources/$1"; push @mirrors, "ftp://ftp.nara.wide.ad.jp/pub/X11/GNOME/sources/$1"; - } - else { + } else { push @mirrors, $mirror; } } -- 2.30.2