Spring/spring-boot-data-geode
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Refactor the ci/pipeline.properties to set the 'jenkins' user HOME directory to '/opt/jenkins'.

Browse Source
This commit is contained in:
John Blum
2023-05-12 13:03:33 -07:00
parent 75b1b3bcc0
commit 2a48c96257
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ci/pipeline.properties
View File

@@ -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=