+ echo "Found grml-rescueboot ISO image: ${grmliso}" >&2
+ iso_id=$(get_iso_identifier "${grmliso}")
+ if [ -n "${iso_id}" ] ; then
+ title="${iso_id} (${grml})"
+ else
+ title="${grml}"
+ fi
+ grub_prep=$(prepare_grub_to_access_device "${device}" | sed -e "s/^/${indent}/")
+ grub_iso_path="${rel_dirname%/}/${grml}"