diff options
Diffstat (limited to 'etc/sudoers.d')
| -rw-r--r-- | etc/sudoers.d/jenkins | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/sudoers.d/jenkins b/etc/sudoers.d/jenkins index dcdd0814..1e1ada9b 100644 --- a/etc/sudoers.d/jenkins +++ b/etc/sudoers.d/jenkins @@ -27,7 +27,9 @@ jenkins ALL= \ /bin/cp -r /media/*, \ /bin/chown -R jenkins\:jenkins /var/lib/jenkins/jobs/*,\ SETENV: NOPASSWD: /usr/sbin/pbuilder *, \ - /bin/rm /var/cache/pbuilder/base.tgz + /bin/rm /var/cache/pbuilder/base.tgz, \ + /bin/cp /var/cache/pbuilder/base.tgz /var/cache/pbuilder/base-reproducible.tgz, \ + /usr/bin/dcmd rm *.changes # keep these environment variables Defaults env_keep += "http_proxy", env_reset |