[bug#41560] [PATCH 2/8] bootloader: grub: Do not run grub-install when creating a disk-image.

[Ludovic Courtès]

Mathieu Othacehe <m.othacehe@gmail.com> skribis:

> * gnu/bootloader/grub.scm (install-grub): When creating a disk-image,
> grub-install will fail because it lacks root permissions. In that case, do not
> run grub-install and only copy Grub modules to the /boot directory.

[...]

> +        ;; Install GRUB on DEVICE which is mounted at MOUNT-POINT. If device
                                                                         ^
DEVICE

> +        ;; is #f we are creating a disk-image.

Maybe:

  … is #f, then populate the disk image rooted at MOUNT-POINT.