BIOS: it's the same machine as bug 1244312 (and became an issue when I was testing that bug).
(Is there a different way to bring up the GRUB menu on UEFI? If so, it should probably be documented...) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1227365 Title: grub does not appear when holding down shift key To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1227365/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
