+ MOUNTS=
+
+ do_mount () {
+ mkdir -p "old/$1"
+ MOUNTS="${MOUNTS:+$MOUNTS }$1"
+ sudo mount -o loop,ro "$1" "old/$1"
+ }
+
+ cleanup () {
+ trap - EXIT HUP INT QUIT TERM
+
+ local mount
+
+ for mount in $MOUNTS; do
+ sudo umount "old/$mount"
+ rmdir -p --ignore-fail-on-non-empty "old/$mount"
+ done
+
+ if $EXISTING; then
+ rm -f "$LOCAL.iso.old"
+ fi
+ }
+ trap cleanup EXIT HUP INT QUIT TERM
+