I verified this issue.
First I change the /etc/grub.d/20_memtest86+ like below.
-menuentry "Memory test (memtest86+)" {
+menuentry "Memory test (memtest86+)" --hotkey f9{
After update-grub and reboot, F9 could work.
Next, I change the /etc/default/grub, I added 'GRUB_TIMEOUT_STYLE=hidden'
After update-grub and reboot, F9 could work.
Next, I change the /etc/default/grub like below.
-GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT=10
After update-grub and reboot, F9 could work.
So, I thought this issue should be fixed.
** Tags removed: verification-needed
** Tags added: verification-done
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1178618
Title:
--hotkey option does not work when the menu is hidden
To manage notifications about this bug go to:
https://bugs.launchpad.net/grub/+bug/1178618/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
