On Mon, 2013-08-05 at 13:58 -0700, Rick Stevens wrote:
The entry skipping is probably caused by the same reason you're
seeing
double characters...for some reason your keyboard is "bouncing". Can
you try plugging the keyboard into a different USB port, just to see
if it's something weird with the way the port you're using is being
handled?
I'd be very surprised at any half-way decent keyboard doing that (of
course, it can happen, but...). Key debouncing should be done on the
encoder in the keyboard, itself.
My thought would be with key repeat speeds, perhaps the BIOS is set very
high, with no wait period, and GRUB is using BIOS settings.
Check both suggestions, anyway.
For what it's worth, I found it impossible to modify GRUB settings on
Fedora 17, on one of my PCs. You can navigate your way to the part of
the kernel line you want to change, but any changes you attempt to make
happen somewhere else on the line.
--
[tim@localhost ~]$ uname -r
2.6.27.25-78.2.56.fc9.i686
Don't send private replies to my address, the mailbox is ignored. I
read messages from the public lists.