Re: GRUB key repeat too fast

2019-09-27 Thread Gene Heskett
On Friday 27 September 2019 17:03:41 Pascal Hambourg wrote: > Le 25/09/2019 à 17:27, Alberto Luaces a écrit : > > Pascal Hambourg writes: > >> Le 25/09/2019 à 13:34, Alberto Luaces a écrit : > >>> Pascal Hambourg writes: > I read a report about a similar issue in a Debian-related forum. > >>>

Re: GRUB key repeat too fast

2019-09-27 Thread Pascal Hambourg
Le 25/09/2019 à 17:27, Alberto Luaces a écrit : Pascal Hambourg writes: Le 25/09/2019 à 13:34, Alberto Luaces a écrit : Pascal Hambourg writes: 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

Re: GRUB key repeat too fast

2019-09-25 Thread Alberto Luaces
Pascal Hambourg writes: > 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 th

Re: GRUB key repeat too fast

2019-09-25 Thread Pascal Hambourg
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 b

Re: GRUB key repeat too fast

2019-09-25 Thread Alberto Luaces
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 workarou

Re: GRUB key repeat too fast

2019-09-25 Thread Pascal Hambourg
Le 25/09/2019 à 10:27, Alberto Luaces a écrit : I have switched to a new computer an existing Debian installation. At boot time, at the GRUB menu, each key press is repeated very fast, as if the key repeat delay were close to zero: I can only select either the first or the last option, since pr

GRUB key repeat too fast

2019-09-25 Thread Alberto Luaces
Hello, I have switched to a new computer an existing Debian installation. At boot time, at the GRUB menu, each key press is repeated very fast, as if the key repeat delay were close to zero: I can only select either the first or the last option, since pressing the arrow keys go all the way up or