summaryrefslogtreecommitdiffstats
path: root/etc/sudoers.d/jenkins
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2014-10-27 19:45:13 +0100
committerHolger Levsen <holger@layer-acht.org>2014-10-27 19:45:13 +0100
commit830140357fc2ad09fc38b3ffd9871357d213d2f1 (patch)
tree43bbf91bae1c7ca08d9dcc19575ca896418bfb00 /etc/sudoers.d/jenkins
parent5941d3f6308272686e85af1d435506d9aaa09b93 (diff)
downloadjenkins.debian.net-830140357fc2ad09fc38b3ffd9871357d213d2f1.tar.xz
g-i-i: also mount /var/log on those Edu installs which have it. rmdir mountpoints after use
Diffstat (limited to 'etc/sudoers.d/jenkins')
-rw-r--r--etc/sudoers.d/jenkins1
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/sudoers.d/jenkins b/etc/sudoers.d/jenkins
index 6b5c35ee..53095f2d 100644
--- a/etc/sudoers.d/jenkins
+++ b/etc/sudoers.d/jenkins
@@ -13,6 +13,7 @@ jenkins ALL= \
/bin/mv /schroots/* /schroots/*, \
/bin/umount -l /chroots/*, \
/bin/umount -l /media/*, \
+ /bin/rmdir /media/*, \
/bin/mount -o loop*, \
/bin/mount --bind *, \
/usr/bin/du *, \