diff options
author | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2017-11-07 00:05:08 +0000 |
---|---|---|
committer | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2017-11-07 00:05:08 +0000 |
commit | 996780cf16f2fdac356d13f2ad657cc43c23dba6 (patch) | |
tree | 308ebf50129298a228a09d3d9262f503d84eec83 /community/jenkins/jenkins.logrotate | |
parent | 3bafc48a148673e0d53fa976d2a5d5c350c5094d (diff) | |
download | aports-996780cf16f2fdac356d13f2ad657cc43c23dba6.tar.bz2 aports-996780cf16f2fdac356d13f2ad657cc43c23dba6.tar.xz |
testing/jenkins: move to community
Diffstat (limited to 'community/jenkins/jenkins.logrotate')
-rw-r--r-- | community/jenkins/jenkins.logrotate | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/community/jenkins/jenkins.logrotate b/community/jenkins/jenkins.logrotate new file mode 100644 index 0000000000..33b1660045 --- /dev/null +++ b/community/jenkins/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 /var/run/jenkins.pid ]; then + JPID=$(cat /var/run/jenkins.pid) + test -n "$(find /proc/$JPID -maxdepth 0 -user ${RUN_AS:-jenkins} 2>/dev/null)" && kill -s ALRM $JPID || : + fi + endscript +} |