diff options
| author | Brice Waegeneire <brice@waegenei.re> | 2019-12-12 20:53:06 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2019-12-23 09:28:42 +0100 |
| commit | b0d09586b1092ad15496ed08bb7631eaa8dc9a86 (patch) | |
| tree | 6d4cef939db8157e5e87b5d8e4f3f5e0386bc909 /gnu/bootloader/grub.scm | |
| parent | c9ea88734b99545ec844d4c2ee77919a1a678d5f (diff) | |
| download | patches-b0d09586b1092ad15496ed08bb7631eaa8dc9a86.tar patches-b0d09586b1092ad15496ed08bb7631eaa8dc9a86.tar.gz | |
bootloader: grub: Add firmware setup entry.
* gnu/bootloader/grub.scm (grub-configuration-file): Add 'Firmware
setup' entry for EFI platform.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu/bootloader/grub.scm')
| -rw-r--r-- | gnu/bootloader/grub.scm | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm index d984d5f5e3..fd62f627a0 100644 --- a/gnu/bootloader/grub.scm +++ b/gnu/bootloader/grub.scm @@ -384,7 +384,13 @@ set timeout=~a~%" submenu \"GNU system, old configurations...\" {~%") #$@(map menu-entry->gexp old-entries) (format port "}~%")) - #~())))) + #~()) + (format port " +if [ \"${grub_platform}\" == efi ]; then + menuentry \"Firmware setup\" { + fwsetup + } +fi~%")))) (computed-file "grub.cfg" builder)) |