diff options
author | Quentin Schulz <quentin.schulz@theobroma-systems.com> | 2022-10-28 16:22:33 +0200 |
---|---|---|
committer | Quentin Schulz <quentin.schulz@theobroma-systems.com> | 2022-10-28 16:22:33 +0200 |
commit | 693426f02b2c988507ccd5d69778e8976ca87430 (patch) | |
tree | 1cbde84d13d1bd9b4a696b79092c036262a547f2 /Jenkinsfile | |
parent | ffcec7c65e0dffc1a9fd9bd3b0570bf10e761402 (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-- | Jenkinsfile | 8 |
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 |