diff options
Diffstat (limited to 'jenkins-server-slave-setup')
| -rwxr-xr-x | jenkins-server-slave-setup/scripts/jenkins-initd-debian | 3 | ||||
| -rw-r--r-- | jenkins-server-slave-setup/scripts/jenkins.logrotate | 9 |
2 files changed, 10 insertions, 2 deletions
diff --git a/jenkins-server-slave-setup/scripts/jenkins-initd-debian b/jenkins-server-slave-setup/scripts/jenkins-initd-debian index 3b5fa5c..5f66d99 100755 --- a/jenkins-server-slave-setup/scripts/jenkins-initd-debian +++ b/jenkins-server-slave-setup/scripts/jenkins-initd-debian @@ -30,7 +30,6 @@ JENKINS_USER=jogamp_ci JENKINS_HOME=/srv/jenkins startup=$JENKINS_HOME/scripts/start.jenkins.sh shutdown=$JENKINS_HOME/scripts/stop.jenkins.sh -export JAVA_HOME=$(readlink -f /usr/bin/javac | sed "s:bin/javac::") start(){ echo -n $"Starting Jenkins service: " @@ -40,7 +39,7 @@ start(){ } stop(){ - action $"Stopping Jenkins service: " + echo -n $"Stopping Jenkins service: " su - $JENKINS_USER -c $shutdown RETVAL=$? echo diff --git a/jenkins-server-slave-setup/scripts/jenkins.logrotate b/jenkins-server-slave-setup/scripts/jenkins.logrotate new file mode 100644 index 0000000..b648fdf --- /dev/null +++ b/jenkins-server-slave-setup/scripts/jenkins.logrotate @@ -0,0 +1,9 @@ +/var/log/jenkins/jenkins.log { + weekly + copytruncate + missingok + rotate 52 + compress + delaycompress + notifempty +} |