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 down. If, for example, I press 'e' to edit an entry, it is shown, but also almost 70 'e' characters are typed as well in the editing box. I have searched for a key repeat delay in the manual, but I found nothing. Does this ring a bell for someone? Thanks. -- Alberto
signature.asc
Description: PGP signature