diff --git a/data/multibootusb/grub/menus/debian.d/current9-generic.cfg b/data/multibootusb/grub/menus/debian.d/current9-generic.cfg new file mode 100644 index 00000000..0e7fdb8e --- /dev/null +++ b/data/multibootusb/grub/menus/debian.d/current9-generic.cfg @@ -0,0 +1,14 @@ +for isofile in $isopath/debian-9*.iso; do + if [ -e "$isofile" ]; then + regexp --set=isoname "$isopath/(.*)" "$isofile" + submenu "$isoname (grub.cfg) ->" "$isofile" { + iso_path="$2" + export iso_path + search --set=root --file "$iso_path" + loopback loop "$iso_path" + root=(loop) + configfile /boot/grub/grub.cfg + loopback --delete loop + } + fi +done