Le 25/09/2019 à 13:34, Alberto Luaces a écrit :
Pascal Hambourg writes:
I have searched for a key repeat delay in the manual, but I found
nothing.
Which manual ? GRUB or the computer/motherboard ?
GRUB's.
You won't find anything useful there. By default, the keyboard in GRUB
is managed by the BIOS/UEFI firmware. The firmware setup may have
typematic delay and rate settings.
I read a report about a similar issue in a Debian-related forum. IIRC,
a workaround was to connect the keyboard to a USB port of different
type (USB 2 -> USB 3 or the other way around).
Thank you! that solves it. It was indeed the change from 2 → 3 what I did.
Interesting. What is the computer/motherboard/firmware make/model ?
The one reported in a forum was an Aorus x470 Ultra Gaming motherboard.