On Thu 03 Jan 2013 04:55:22 PM EST, Chris Murphy wrote: > Documentation says "The GRUB menu defaults to being hidden, > except on dual-boot systems." but as far as I know this hasn't been > true since Fedora 16 when GRUB2 started being used. Is there a > plan to revert back to a hidden GRUB menu at some point or is the > current behavior stable? It should be hidden for final releases, but not for testing and development releases. You may have upgraded from a beta or test release, in which case your grub config file allowing it to be active carried over when you upgraded to final. ~m -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
