Hi, "pelzflorian (Florian Pelz)" <[email protected]> skribis:
> From c0c8167cf4f7ddd68567618effc665dd950c2f93 Mon Sep 17 00:00:00 2001 > From: Florian Pelz <[email protected]> > 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’.
