Re: Grub installation and configuration

2023-03-07 Thread Felix Lechner via
Hi Vagrant, On Tue, Mar 7, 2023 at 2:52 PM Vagrant Cascadian wrote: > > Kind of related, with EFI you could actually install additional system > generations as entirely separate EFI boot entries > (e.g. /boot/efi/efi/guix-N and /boot/efi/efi/guix-N+1) in case the most > recent grub was broken for

Re: Grub installation and configuration

2023-03-07 Thread Vagrant Cascadian
On 2023-03-07, Ludovic Courtès wrote: > Emmanuel Beffara skribis: > >> - Install the keymaps in the EFI partition like the Grub modules, so that the >> proper keymap is setup early in the boot process. > > [...] > >> - Set the terminal_output before any user input is required (and in >> particu

Re: Grub installation and configuration

2023-03-07 Thread Emmanuel Beffara
De Ludovic Courtès le 07/03/2023 à 17:12: > Maybe what you can do, then, is report each issue to bug-g...@gnu.org > separately and provide guidance for the GRUB side of things: what should > the generated ‘grub.cfg’ look like after each of these points is > addressed? > > In return, an experienced

Re: Grub installation and configuration

2023-03-07 Thread Ludovic Courtès
Hi Emmanuel, Emmanuel Beffara skribis: > - Install the keymaps in the EFI partition like the Grub modules, so that the > proper keymap is setup early in the boot process. [...] > - Set the terminal_output before any user input is required (and in particular > the passphrase request), for p

Grub installation and configuration

2023-03-03 Thread Emmanuel Beffara
Hello again, Continuing on my adventures with installing Guix System on LVM on LUKS with Grub as bootloader, I would like to suggest a few adujstments to how Grub is installed in Guix: - Install the keymaps in the EFI partition like the Grub modules, so that the proper keymap is setup early in