Unverified Commit f5d604d7 authored by Mattia Rizzolo's avatar Mattia Rizzolo
Browse files

jenkins: let jenkins umount another directory 



needed after 8139f77f

Signed-off-by: Mattia Rizzolo's avatarMattia Rizzolo <mattia@debian.org>
parent e6c13507

hosts/common/etc/sudoers.d/jenkins

+1 −0
Original line number Diff line number Diff line
@@ -29,6 +29,7 @@ jenkins ALL= \ 
	/bin/umount -l /chroots/*, \

	/bin/umount -l /schroots/*, \

	/bin/umount -l /media/*, \

	/bin/umount /srv/schroots/*, \

	/bin/rmdir /media/*, \

	/bin/mount -o loop*, \

	/bin/mount --bind *, \

hosts/jenkins/etc/sudoers.d/jenkins

+1 −0
Original line number Diff line number Diff line
@@ -27,6 +27,7 @@ jenkins ALL= \ 
	/bin/umount -l /chroots/*, \

	/bin/umount -l /schroots/*, \

	/bin/umount -l /media/*, \

	/bin/umount /srv/schroots/*, \

	/bin/rmdir /media/*, \

	/bin/mount -o loop*, \

	/bin/mount --bind *, \