HCoop
/
jackhill
/
guix
/
guix.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c9ea887
)
bootloader: grub: Add firmware setup entry.
author
Brice Waegeneire
<brice@waegenei.re>
Thu, 12 Dec 2019 19:53:06 +0000
(20:53 +0100)
committer
Danny Milosavljevic
<dannym@scratchpost.org>
Mon, 23 Dec 2019 08:28:42 +0000
(09:28 +0100)
* gnu/bootloader/grub.scm (grub-configuration-file): Add 'Firmware
setup' entry for EFI platform.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
gnu/bootloader/grub.scm
patch
|
blob
|
blame
|
history
diff --git
a/gnu/bootloader/grub.scm
b/gnu/bootloader/grub.scm
index
d984d5f
..
fd62f62
100644
(file)
--- 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))