diff options
Diffstat (limited to 'hosts/jenkins')
| -rw-r--r-- | hosts/jenkins/etc/sudoers.d/jenkins | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/sudoers.d/jenkins b/hosts/jenkins/etc/sudoers.d/jenkins index d75335f9..0fd55ca9 100644 --- a/hosts/jenkins/etc/sudoers.d/jenkins +++ b/hosts/jenkins/etc/sudoers.d/jenkins @@ -6,6 +6,8 @@ jenkins ALL= \ /bin/chmod +x /chroots/*, \ /usr/sbin/chroot /chroots/*, \ /usr/sbin/chroot /media/*, \ + /usr/bin/schroot --all-sessions -l,\ + /usr/bin/schroot -c session:jenkins-reproducible.* -e,\ /bin/ls -la /media/*, \ /bin/rm -rf --one-file-system /chroots/*, \ /bin/rm -rf --one-file-system /schroots/*, \ |