add support for debian10 live and non-live isos

pull/538/head
Luís Pedro Algarvio 3 years ago
parent fa89b28f27
commit 4df20a20f5

@ -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

@ -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
Loading…
Cancel
Save