diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-06-25 22:24:45 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-06-26 17:27:40 +0200 |
| commit | 683016907d5eb5b9b526d21e36de28c16ff6e5cc (patch) | |
| tree | 03e1b630f66db78647d7d3547ceb4d08e1fbadb2 /gnu/local.mk | |
| parent | aa5a549c65485ff826267a48795c1564af17f1c9 (diff) | |
bootloader: grub-efi: Identify as "GuixSD" instead of "grub".
* gnu/bootloader/grub.scm (install-grub-efi): Pass "--bootloader-id" to grub-install.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions