diff options
Diffstat (limited to 'src/main/unix/files/root/bin/jenkins')
-rw-r--r-- | src/main/unix/files/root/bin/jenkins | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/src/main/unix/files/root/bin/jenkins b/src/main/unix/files/root/bin/jenkins new file mode 100644 index 0000000..750ef66 --- /dev/null +++ b/src/main/unix/files/root/bin/jenkins @@ -0,0 +1,28 @@ +#!/bin/bash -e + +set -u +set -e +set -x + +mkdir -p "$APP_HOME/logs" +exec >> "$APP_HOME/logs/jenkins.out" +exec 2>&1 + +mkdir -p "$APP_HOME/jenkins-home" +JENKINS_HOME="$APP_HOME/jenkins-home" +export JENKINS_HOME + +IFS=" +" + +ARGS=(-jar wars/jenkins.war) + +# Plainly pass any argument in the "jenkins" group to Jenkins. +for line in $(app cat-conf -g jenkins | cut -f 2- -d .) +do + ARGS+=("--$line") +done + +exec java "${ARGS[@]}" \ + --logfile jenkins.log \ + 2>&1 |