efec47fa42
If the ISO image has a FAT partition and the image is written
to a flash drive, then it is possible to write to this partition
of the flash drive.
This is necessary, for example, if the user
does not want to install the system, but wants to constantly work
in LiveCD mode with or without recording sessions.
In order for this code to work, you need to make changes
to the FAT partition of the image on the flash drive:
Add the 1st line to the grub.cfg file:
set pfxfat=${prefix}
Write a 1kb file grubenv.
If grub.cfg contains a line like '^default=id',
then the read value is not used.
8 lines
374 B
INI
8 lines
374 B
INI
|
|
menuentry $"Install "'@distro@' --hotkey 'i' --id 'linux' {
|
|
echo $"Loading Linux vmlinuz$KFLAVOUR ..."
|
|
linux$linux_suffix /boot/vmlinuz$KFLAVOUR fastboot @initrd_bootargs@ @stagename@=altinst ramdisk_size=@altinst_size@ vga=@bootvga@ @bootargs@ $EFI_BOOTARGS lang=$lang
|
|
echo $"Loading initial ramdisk ..."
|
|
initrd$linux_suffix /boot/@initrd@$KFLAVOUR.@initrd_ext@
|
|
}
|