diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-22 23:20:20 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-22 23:20:20 -0500 |
commit | 9fd9a5b10f102bb0b35f78fe506133ea99edf29d (patch) | |
tree | 7945f143ca888687a30fb2dad05586a0d57ac9fa /pcr/openrc-devel/jenkins.logrotate | |
parent | 2d31f5974981608b97c0c453f6f0ce3a26bca11f (diff) |
openrc-devel-20160721-1: updating version
Diffstat (limited to 'pcr/openrc-devel/jenkins.logrotate')
-rw-r--r-- | pcr/openrc-devel/jenkins.logrotate | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/pcr/openrc-devel/jenkins.logrotate b/pcr/openrc-devel/jenkins.logrotate new file mode 100644 index 000000000..6dd4f1d5d --- /dev/null +++ b/pcr/openrc-devel/jenkins.logrotate @@ -0,0 +1,17 @@ +/var/log/jenkins/jenkins.log /var/log/jenkins/access_log { + compress + dateext + maxage 365 + rotate 99 + size=+4096k + notifempty + missingok + create 644 + postrotate + [ -r /etc/conf.d/jenkins ] && . /etc/conf.d/jenkins + if [ -s /run/jenkins.pid ]; then + JPID=$(cat /run/jenkins.pid) + test -n "$(find /proc/$JPID -maxdepth 0 -user ${RUN_AS:-jenkins} 2>/dev/null)" && kill -s ALRM $JPID || : + fi + endscript +} |