diff options
Diffstat (limited to 'hosts')
-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 95061a32..e19d3bf4 100644 --- a/hosts/jenkins/etc/sudoers.d/jenkins +++ b/hosts/jenkins/etc/sudoers.d/jenkins @@ -12,6 +12,7 @@ jenkins ALL= \ /bin/rm -rf --one-file-system /schroots/*, \ /bin/rm -rf --one-file-system /srv/live-build/*, \ /bin/rm -rf --one-file-system /srv/workspace/pbuilder/*, \ + /bin/rm -rf --one-file-system /var/lib/jenkins/userContent/reproducible/debian/build_service/*, \ /bin/cp -v *.iso /srv/live-build/results/*, \ /bin/mv /chroots/* /schroots/*, \ /bin/mv /schroots/* /schroots/*, \ |