Use settings.xml for credentials.

Author: gregturn

Jenkinsfile

@@ -181,7 +181,7 @@ pipeline {
 
 			steps {
 				script {
-					sh 'MAVEN_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home" ./mvnw -Pdocs ' +
+					sh 'MAVEN_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home" ./mvnw -s settings.xml -Pdocs ' +
 							'-Dartifactory.server=https://repo.spring.io ' +
 							"-Dartifactory.username=${ARTIFACTORY_USR} " +
 							"-Dartifactory.password=${ARTIFACTORY_PSW} " +

ci/build-and-deploy-to-artifactory.sh

@@ -8,4 +8,4 @@ set -euo pipefail
 echo 'Deploying to Artifactory...'
 
 MAVEN_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home" \
-  ./mvnw -P${PROFILE} -Dmaven.test.skip=true clean deploy -B
+  ./mvnw -s settings.xml -P${PROFILE} -Dmaven.test.skip=true clean deploy -B

ci/test.sh

@@ -3,4 +3,4 @@
 set -euo pipefail
 
 MAVEN_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home" \
-  ./mvnw -P${PROFILE} clean dependency:list test -Dsort -U -B
+  ./mvnw -s settings.xml -P${PROFILE} clean dependency:list test -Dsort -U -B