chore(Jenkinsfile) switch WAR download to https://get.jenkins.io

Ref. jenkins-infra/helpdesk#2888 This change also uses long flags for `curl` and shows if an error happens during the download (easier to diagnose)
dduportal · May 5, 2022 · e10ad35 · e10ad35
1 parent 14dd216
commit e10ad35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -67,7 +67,7 @@ itBranches['buildtriggerbadge:2.11 tests success on JDK11'] = {
 
         stage('Download Jenkins 2.164.1') {
             sh '''
-            curl -sL http://mirrors.jenkins.io/war-stable/2.164.1/jenkins.war --output jenkins.war
+            curl --silent --show-error --location https://get.jenkins.io/war-stable/2.164.1/jenkins.war --output jenkins.war
             echo "65543f5632ee54344f3351b34b305702df12393b3196a95c3771ddb3819b220b jenkins.war" | sha256sum --check
             '''
         }