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