civodul pushed a commit to branch master
in repository guix.
commit cae0725b809449dcdebc2d84cf997e051e689e06
Author: Ludovic Courtès <[email protected]>
Date: Thu May 9 08:39:13 2019 +0200
bootloader: grub: Remove unneeded 'terminal_output'.
Fixes <https://bugs.gnu.org/35585>.
Reported by Florian Pelz <[email protected]>.
This statement was added in 8d058e7b1b1a409d3d9cc29c5650a98db4e78783 but
turned out to be unnecessary.
* gnu/bootloader/grub.scm (grub-configuration-file): Remove
'terminal_output' statement.
---
gnu/bootloader/grub.scm | 1 -
1 file changed, 1 deletion(-)
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm
index e97a17b..d984d5f 100644
--- a/gnu/bootloader/grub.scm
+++ b/gnu/bootloader/grub.scm
@@ -360,7 +360,6 @@ entries corresponding to old generations of the system."
(keyboard-layout-file layout #:grub grub))))
(when keymap
(format port "\
-terminal_input at_keyboard
insmod keylayouts
keymap ~a~%" keymap)))))
