diff options
Diffstat (limited to 'hosts/jenkins')
| -rw-r--r-- | hosts/jenkins/etc/sudoers.d/jenkins | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hosts/jenkins/etc/sudoers.d/jenkins b/hosts/jenkins/etc/sudoers.d/jenkins index 0fd55ca9..29056667 100644 --- a/hosts/jenkins/etc/sudoers.d/jenkins +++ b/hosts/jenkins/etc/sudoers.d/jenkins @@ -6,8 +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,\ + /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/*, \ |