summaryrefslogtreecommitdiff
path: root/gnu/bootloader
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-05-09 08:39:13 +0200
committerLudovic Courtès <ludo@gnu.org>2019-05-09 12:11:36 +0200
commitcae0725b809449dcdebc2d84cf997e051e689e06 (patch)
tree6b98df3587c3687b6999af246251f000c7178b30 /gnu/bootloader
parentfb98e430d4b8da58c0035726c2325699b0a3d763 (diff)
downloadpatches-cae0725b809449dcdebc2d84cf997e051e689e06.tar
patches-cae0725b809449dcdebc2d84cf997e051e689e06.tar.gz
bootloader: grub: Remove unneeded 'terminal_output'.
Fixes <https://bugs.gnu.org/35585>. Reported by Florian Pelz <pelzflorian@pelzflorian.de>. This statement was added in 8d058e7b1b1a409d3d9cc29c5650a98db4e78783 but turned out to be unnecessary. * gnu/bootloader/grub.scm (grub-configuration-file): Remove 'terminal_output' statement.
Diffstat (limited to 'gnu/bootloader')
-rw-r--r--gnu/bootloader/grub.scm1
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm
index e97a17b3e2..d984d5f5e3 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)))))