On Tue, Jan 29, 2019 at 05:29:51AM -0500, Ben Cotton wrote: > Improve the GRUB menu by only having the default boot option for each > installed operating system in the main menu, and the other options > into a sub-menu. This would better organize the boot options and lead > to an easier and seamless boot experience.
+1. I often see new users asking "why are there multiple Fedora choices?", or "which kernel should I use?" -- Matthew Miller <mat...@fedoraproject.org> Fedora Project Leader _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
