[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#35585: GRUB does not work with USB keyboards when using keyboard-lay
From: |
Ludovic Courtès |
Subject: |
bug#35585: GRUB does not work with USB keyboards when using keyboard-layout |
Date: |
Tue, 07 May 2019 18:11:55 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) |
Hi,
"pelzflorian (Florian Pelz)" <address@hidden> skribis:
> From c0c8167cf4f7ddd68567618effc665dd950c2f93 Mon Sep 17 00:00:00 2001
> From: Florian Pelz <address@hidden>
> Date: Sun, 5 May 2019 17:38:47 +0200
> Subject: [PATCH] bootloader: grub: Support USB keyboards when using a
> keyboard-layout.
>
> With this USB keyboards are recognized again, the layout does not currently
> get used by GRUB though.
>
> * gnu/booloader/grub.scm (keyboard-layout-config): Add usb_keyboard terminal
> to terminal_input command.
Oh, interesting. I guess on “PCs” the BIOS/UEFI emulates AT keyboard
even when the keyboard is really an external USB keyboard, which is why
we don’t see that problem.
> --- a/gnu/bootloader/grub.scm
> +++ b/gnu/bootloader/grub.scm
> @@ -360,7 +360,7 @@ entries corresponding to old generations of the system."
> (keyboard-layout-file layout #:grub grub))))
> (when keymap
> (format port "\
> -terminal_input at_keyboard
> +terminal_input at_keyboard usb_keyboard
What do others think? Danny?
I’d like to make sure this is as harmless as it looks.
Ludo’.
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, pelzflorian (Florian Pelz), 2019/05/05
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout,
Ludovic Courtès <=
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, Danny Milosavljevic, 2019/05/07
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, pelzflorian (Florian Pelz), 2019/05/07
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, Ludovic Courtès, 2019/05/08
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, pelzflorian (Florian Pelz), 2019/05/08
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, Ludovic Courtès, 2019/05/09
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, Danny Milosavljevic, 2019/05/09
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, Giovanni Biscuolo, 2019/05/13
- bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, Ludovic Courtès, 2019/05/13
bug#35585: GRUB does not work with USB keyboards when using keyboard-layout, pelzflorian (Florian Pelz), 2019/05/07