ludo@gnu.org (Ludovic Courtès) writes: > Hello gentlefolks! > > Ricardo Wurmus skribis: > >> First, this sounds like it’s up to the user to pick either EFI-based >> GRUB or BIOS-based GRUB. It is not clear that this is determined by >> whether the machine has a {BIOS, EFI in legacy mode} or EFI. It’s >> really not much of a choice. >> >> Second, the “parted” command operates on the first partition (“1”), yet >> for the second command the second partition (“/dev/sda2”) is used. It’s >> better to be consistent here, i.e. to change “set 1 esp on” to “set 2 >> esp on” and to state that this would modify “/dev/sda2”. >> >> Finally, it is not clear where the efi partition should be mounted. >> Should it be /mnt/boot/efi? If so, should the configuration file >> specify “/mnt/boot/efi” as the target? Or should it be “/boot/efi”? >> >> An example would be useful here. > > It’d be nice to fix this before the release. Anyone could take a look > to address these issues? I've tried to address the latter issue in . I tested it by installing in a virtual machine with the ESP mounted at "/mnt/boot/efi", using a Guix snapshot that included that commit. It also works on my installed system with the ESP on /boot/efi. Here is a patch addressing the second issue: