Re: GRUB key repeat too fast

[Alberto Luaces <aluaces@udc.es>]

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.

>
>> Does this ring a bell for someone?
>
> 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.

-- 
Alberto