From a9b2cc4804419a5cc3ff5151d43c5c55441d267b Mon Sep 17 00:00:00 2001 From: David Bauer Date: Sat, 25 Jul 2020 23:13:26 +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 be0bdbb3fc..e9aa785f1c 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -257,7 +257,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://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"; @@ -267,8 +267,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; } }