bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-08-25 Thread Josselin Poiret via Bug reports for GNU Guix
Hi, Pushed d57cab764122af69d52d8cc9c843456044e5d7bc that adds mbr-image-type and sets it as default. LMKWYT, closing tentatively. Best, -- Josselin Poiret signature.asc Description: PGP signature

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-08-08 Thread Josselin Poiret via Bug reports for GNU Guix
Hi everyone, Ludovic Courtès writes: > I guess my confusion stems from the fact that the default image type > changed to EFI recently (right?). No, the image type had always been efi-raw iirc, just that efi images now use GPT partitioning, and BIOS booting on GPT drives need an extra BIOS

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-08-07 Thread Ludovic Courtès
Hi, Josselin Poiret skribis: > From: Josselin Poiret > > * gnu/system/image.scm (mbr-disk-image, mbr-raw-image-type): New variables. > * guix/scripts/system.scm (%default-options): Use mbr-raw-image-type by > default. > --- > > How about this for now? I think the bootloader/image-type

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-08-07 Thread Ludovic Courtès
Hi, Josselin Poiret skribis: > Sergey Trofimov writes: > >> shouldn't it be `(bootloader grub-efi-bootloader)` if you're >> building a `efi-raw` image? >> With efi grub it builds and boots just fine, as I've tested before >> submitting the patch. > > I think I agree with you that you should

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-07-21 Thread Sergey Trofimov
Hi Ludovic, shouldn't it be `(bootloader grub-efi-bootloader)` if you're building a `efi-raw` image? With efi grub it builds and boots just fine, as I've tested before submitting the patch. Ludovic Courtès writes: Hello, There seems to be a recent regression: $ cat mini-os.scm

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-07-21 Thread Yann Dupont
Hello, as it was after discussion with Ludovic that he posted this bug report, let me express my opinion as a simple user. it's just a matter of consistency: very basically, the examples mention grub-bootloader. With the default image type (efi-raw), it's been working perfectly for years

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-07-19 Thread Josselin Poiret via Bug reports for GNU Guix
Hi Sergey, Sergey Trofimov writes: > shouldn't it be `(bootloader grub-efi-bootloader)` if you're > building a `efi-raw` image? > With efi grub it builds and boots just fine, as I've tested before > submitting the patch. I think I agree with you that you should expect efi images to use efi

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-07-17 Thread Ludovic Courtès
Hi Josselin, Josselin Poiret skribis: > Ludovic Courtès writes: > >> The culprit might be 209204e23b39af09e0ea92540b6fa00a60e6a0ae, from >> . >> >> Josselin, Sergey, WDYT? > > Apologies! Our install-grub-disk-image doesn't really support GPT > right, now but

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-07-16 Thread Josselin Poiret via Bug reports for GNU Guix
Hi Ludo, Ludovic Courtès writes: > The culprit might be 209204e23b39af09e0ea92540b6fa00a60e6a0ae, from > . > > Josselin, Sergey, WDYT? Apologies! Our install-grub-disk-image doesn't really support GPT right, now but this is easy to fix (I've successfully

bug#64593: ‘guix system image’ fails to create image while invoking ‘grub-bios-setup’

2023-07-13 Thread Ludovic Courtès
Hello, There seems to be a recent regression: --8<---cut here---start->8--- $ cat mini-os.scm (use-modules (gnu)) (operating-system (host-name "mini-1") (bootloader (bootloader-configuration (bootloader grub-bootloader)