bootloader: grub-efi: Identify as "GuixSD" instead of "grub".
authorMarius Bakke <mbakke@fastmail.com>
Mon, 25 Jun 2018 20:24:45 +0000 (22:24 +0200)
committerMarius Bakke <mbakke@fastmail.com>
Tue, 26 Jun 2018 15:27:40 +0000 (17:27 +0200)
commit683016907d5eb5b9b526d21e36de28c16ff6e5cc
tree03e1b630f66db78647d7d3547ceb4d08e1fbadb2
parentaa5a549c65485ff826267a48795c1564af17f1c9
bootloader: grub-efi: Identify as "GuixSD" instead of "grub".

* gnu/bootloader/grub.scm (install-grub-efi): Pass "--bootloader-id" to grub-install.
gnu/bootloader/grub.scm