From 2a48c96257f33cf88536613b30f0ec81172547c5 Mon Sep 17 00:00:00 2001 From: John Blum Date: Fri, 12 May 2023 13:03:33 -0700 Subject: [PATCH] Refactor the ci/pipeline.properties to set the 'jenkins' user HOME directory to '/opt/jenkins'. --- ci/pipeline.properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/pipeline.properties b/ci/pipeline.properties index 8ad5395d..287a8c6a 100644 --- a/ci/pipeline.properties +++ b/ci/pipeline.properties @@ -5,8 +5,8 @@ java.main.tag=17.0.6_10-jdk-focal docker.container.image.java.main=harbor-repo.vmware.com/dockerhub-proxy-cache/library/eclipse-temurin:${java.main.tag} # Docker Environment Settings -docker.container.inside.env.basic=-u root -v $HOME:/tmp/jenkins-home -v /tmp:/tmp -docker.container.inside.env.full=-u root -v /var/run/docker.sock:/var/run/docker.sock -v /usr/bin/docker:/usr/bin/docker -v /tmp:/tmp -v $HOME:/tmp/jenkins-home +docker.container.inside.env.basic=-u root -v $HOME:/opt/jenkins -v /tmp:/tmp +docker.container.inside.env.full=-u root -v /var/run/docker.sock:/var/run/docker.sock -v /usr/bin/docker:/usr/bin/docker -v $HOME:/opt/jenkins -v /tmp:/tmp # Credentials docker.registry=