[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

02/07: bootloader: grub: Remove unneeded 'terminal_output'.

From: guix-commits
Subject: 02/07: bootloader: grub: Remove unneeded 'terminal_output'.
Date: Thu, 9 May 2019 06:11:47 -0400 (EDT)

civodul pushed a commit to branch master
in repository guix.

commit cae0725b809449dcdebc2d84cf997e051e689e06
Author: Ludovic Court├Ęs <address@hidden>
Date:   Thu May 9 08:39:13 2019 +0200

    bootloader: grub: Remove unneeded 'terminal_output'.
    Fixes <>.
    Reported by Florian Pelz <address@hidden>.
    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)))))

reply via email to

[Prev in Thread] Current Thread [Next in Thread]