diff options
Diffstat (limited to 'hosts/jenkins')
| -rw-r--r-- | hosts/jenkins/etc/sudoers.d/jenkins | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/sudoers.d/jenkins b/hosts/jenkins/etc/sudoers.d/jenkins index e4ed15b3..1216639c 100644 --- a/hosts/jenkins/etc/sudoers.d/jenkins +++ b/hosts/jenkins/etc/sudoers.d/jenkins @@ -15,6 +15,7 @@ jenkins ALL= \ /bin/mv /chroots/* /schroots/*, \ /bin/mv /schroots/* /schroots/*, \ /bin/umount -l /chroots/*, \ + /bin/umount -l /schroots/*, \ /bin/umount -l /media/*, \ /bin/rmdir /media/*, \ /bin/mount -o loop*, \ |