From 830140357fc2ad09fc38b3ffd9871357d213d2f1 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 27 Oct 2014 19:45:13 +0100 Subject: g-i-i: also mount /var/log on those Edu installs which have it. rmdir mountpoints after use --- etc/sudoers.d/jenkins | 1 + 1 file changed, 1 insertion(+) (limited to 'etc/sudoers.d/jenkins') 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 *, \ -- cgit v1.2.3-70-g09d2