properly delete old schroot overlays

Signed-off-by: Holger Levsen <holger@layer-acht.org>

bin/reproducible_maintenance.sh

@@ -410,10 +410,10 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then
 		dir=/var/lib/schroot/$path/
 		if [ "$path" = "session" ] ; then
 			FILETYPE=f
-			RM=rm
+			RM_OPTIONS="-v"
 		else
 			FILETYPE=d
-			RM=rmdir
+			RM_OPTIONS="-rv --one-file-system"
 		fi
 		OLDSTUFF=$(find "$dir" -name "jenkins-reproducible-*-diffoscope-*" -mindepth 1 -maxdepth 1 -type $FILETYPE -mtime +1 -exec ls -lad {} \; || true)
 		if [ ! -z "$OLDSTUFF" ]; then
@@ -422,7 +422,7 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then
 			echo "$OLDSTUFF" | sed "s#$dir#./#g"
 
 			echo
-			find "$dir" -name "jenkins-reproducible-*-diffoscope-*" -mindepth 1 -maxdepth 1 -type $FILETYPE -mtime +1 -exec sudo $RM -v {} \; || true
+			find "$dir" -name "jenkins-reproducible-*-diffoscope-*" -mindepth 1 -maxdepth 1 -type $FILETYPE -mtime +1 -exec sudo rm $RM_OPTIONS {} \; || true
 			OLDSTUFF=$(find "$dir" -name "jenkins-reproducible-*-diffoscope-*" -mindepth 1 -maxdepth 1 -type $FILETYPE -mtime +1 -exec ls -lad {} \; || true)
 			if [ ! -z "$OLDSTUFF" ]; then
 				echo

hosts/jenkins/etc/sudoers.d/jenkins

@@ -23,8 +23,8 @@ jenkins ALL=  \
 	/bin/rm -rf --one-file-system /var/lib/sbuild/build/*, \
 	/bin/rm -rf --one-file-system /tmp/*, \
 	/bin/rm -rv --one-file-system /tmp/*, \
+	/bin/rm -rv --one-file-system /var/lib/schroot/*, \
 	/bin/rm -v /var/lib/schroot/*, \
-	/bin/rmdir -v /var/lib/schroot/*, \
 	/bin/mv /chroots/* /schroots/*, \
 	/bin/mv /schroots/* /schroots/*, \
 	/bin/umount -l /chroots/*, \