diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-27 19:45:13 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-27 19:45:13 +0100 |
| commit | 830140357fc2ad09fc38b3ffd9871357d213d2f1 (patch) | |
| tree | 43bbf91bae1c7ca08d9dcc19575ca896418bfb00 /etc | |
| parent | 5941d3f6308272686e85af1d435506d9aaa09b93 (diff) | |
| download | jenkins.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')
| -rw-r--r-- | etc/sudoers.d/jenkins | 1 |
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 *, \ |