Hi, Andy Smith wrote: > Is there some advantage in me editing one of the files in the EFI > partition as opposed to just putting the grub serial directives in > /boot/grub/grub.cfg of the ISO?
None that i know of. Editing /efi/debian/grub.cfg of the EFI partition filesystem would just happen inside the ISO data storage without imposing the need for making a new ISO. The tight size of the Debian ISO EFI partition is not very inviting for this. It also would have to be explored whether modifying the grub.cfg file in the EFI partition can cause trouble with Secure Boot. Have a nice day :) Thomas
