rtyler
/
docker-1
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

-Duser.home=$JENKINS_HOME is generally better than leaving it as ? and works around JENKINS-45755.

This commit is contained in:
Jesse Glick 2017-09-13 14:46:42 -04:00
parent eefb637f4c
commit 233767da6f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jenkins.sh
View File

@ -19,7 +19,7 @@ if [[ $# -lt 1 ]] || [[ "$1" == "--"* ]]; then
jenkins_opts_array+=( "$item" )
done < <([[ $JENKINS_OPTS ]] && xargs printf '%s\0' <<<"$JENKINS_OPTS")
exec java "${java_opts_array[@]}" -jar /usr/share/jenkins/jenkins.war "${jenkins_opts_array[@]}" "$@"
exec java -Duser.home="$JENKINS_HOME" "${java_opts_array[@]}" -jar /usr/share/jenkins/jenkins.war "${jenkins_opts_array[@]}" "$@"
fi
# As argument is not jenkins, assume user want to run his own process, for example a `bash` shell to explore this image