summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorQuentin Schulz <quentin.schulz@theobroma-systems.com>2022-10-28 16:22:33 +0200
committerQuentin Schulz <quentin.schulz@theobroma-systems.com>2022-10-28 16:22:33 +0200
commit693426f02b2c988507ccd5d69778e8976ca87430 (patch)
tree1cbde84d13d1bd9b4a696b79092c036262a547f2 /Jenkinsfile
parentffcec7c65e0dffc1a9fd9bd3b0570bf10e761402 (diff)
Jenkinsfile: put each docker argument on its own line
It's easier to read and makes diff more meaningful. Signed-off-by: Quentin Schulz <quentin.schulz@theobroma-systems.com>
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile8
1 files changed, 7 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 231bcf0..890e77c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -47,7 +47,13 @@ pipeline {
docker {
image 'siemens/kas/kas:3.1'
registryUrl 'https://ghcr.io/'
- args '--userns=keep-id -e USER_ID=${JENKINS_USER_ID} -e GROUP_ID=${JENKINS_GROUP_ID} -e KAS_MACHINE --tmpfs /tmp'
+ args ' \
+ --userns=keep-id \
+ -e USER_ID=${JENKINS_USER_ID} \
+ -e GROUP_ID=${JENKINS_GROUP_ID} \
+ -e KAS_MACHINE \
+ --tmpfs /tmp \
+ '
label 'docker'
/* Make sure the Jenkins node where user's UID and GID are collected is the same as the one running the actual job */
reuseNode true