diff options
author | 2023-06-20 12:45:31 +0200 | |
---|---|---|
committer | 2023-06-23 23:28:25 +0200 | |
commit | 886d5067369734fa7cd1f40439682ed6de005449 (patch) | |
tree | 1609caab6db6b5efb654131b27bf4a461b3a150e /dev-util/jenkins-bin | |
parent | dev-ruby/rubygems: remove unused file (diff) | |
download | gentoo-886d5067369734fa7cd1f40439682ed6de005449.tar.gz gentoo-886d5067369734fa7cd1f40439682ed6de005449.tar.bz2 gentoo-886d5067369734fa7cd1f40439682ed6de005449.zip |
dev-util/jenkins-bin: remove unused file
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/31552
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Diffstat (limited to 'dev-util/jenkins-bin')
-rw-r--r-- | dev-util/jenkins-bin/files/jenkins-bin-r2.logrotate | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/dev-util/jenkins-bin/files/jenkins-bin-r2.logrotate b/dev-util/jenkins-bin/files/jenkins-bin-r2.logrotate deleted file mode 100644 index 895461f0540e..000000000000 --- a/dev-util/jenkins-bin/files/jenkins-bin-r2.logrotate +++ /dev/null @@ -1,17 +0,0 @@ -/var/log/jenkins/jenkins.log /var/log/jenkins/access_log { - compress - dateext - maxage 365 - rotate 99 - size 4M - 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 -} |