diff --git a/data/multibootusb/grub/menus/debian.d/current10-generic.cfg b/data/multibootusb/grub/menus/debian.d/current10-generic.cfg new file mode 100644 index 00000000..d3be89f5 --- /dev/null +++ b/data/multibootusb/grub/menus/debian.d/current10-generic.cfg @@ -0,0 +1,14 @@ +for isofile in $isopath/debian-10*.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 diff --git a/data/multibootusb/grub/menus/debian.d/live10-generic.cfg b/data/multibootusb/grub/menus/debian.d/live10-generic.cfg new file mode 100644 index 00000000..411bcc90 --- /dev/null +++ b/data/multibootusb/grub/menus/debian.d/live10-generic.cfg @@ -0,0 +1,14 @@ +for isofile in $isopath/debian-live-10*.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