diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/unix/files/root/bin/jenkins | 27 | ||||
| -rw-r--r-- | src/main/unix/files/root/etc/app.conf | 1 |
2 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..dbb7d6c --- /dev/null +++ b/src/main/unix/files/root/bin/jenkins @@ -0,0 +1,27 @@ +#!/bin/bash -e + +set -x + +. $APPSH_BASEDIR/.app/lib/app-conf + +LOGS=$APPSH_INSTANCE_HOME/logs + +mkdir -p $LOGS +logfile=$LOGS/jenkins.out +exec > $logfile 2>&1 + +echo PID=$$ + +ARGS=() + +IFS=" +" +for line in $(get_conf_in_group $APPSH_BASEDIR $APPSH_NAME $APPSH_INSTANCE jenkins) +do + ARGS+=("--$line") +done + +exec java -jar wars/jenkins.war \ + --logfile $APPSH_INSTANCE_HOME/logs/jenkins.log \ + ${ARGS[@]} \ + 2>&1 diff --git a/src/main/unix/files/root/etc/app.conf b/src/main/unix/files/root/etc/app.conf new file mode 100644 index 0000000..9dfa29b --- /dev/null +++ b/src/main/unix/files/root/etc/app.conf @@ -0,0 +1 @@ +app.bin=bin/jenkins |