On Tue, Feb 05, 2019 at 11:13:06AM +0100, Javier Martinez Canillas wrote:
> Hello Zbyszek,
>
> Thanks a lot for your feedback.
>
> On Tue, Feb 5, 2019 at 10:33 AM Zbigniew Jędrzejewski-Szmek
> wrote:
> >
> > On Tue, Jan 29, 2019 at 05:40:30AM -0500, Matthew Miller wrote:
> > > On Tue, Jan 29,
Hello Zbyszek,
Thanks a lot for your feedback.
On Tue, Feb 5, 2019 at 10:33 AM Zbigniew Jędrzejewski-Szmek
wrote:
>
> On Tue, Jan 29, 2019 at 05:40:30AM -0500, Matthew Miller wrote:
> > On Tue, Jan 29, 2019 at 05:29:51AM -0500, Ben Cotton wrote:
> > > Improve the GRUB menu by only having the
On Tue, Jan 29, 2019 at 05:40:30AM -0500, Matthew Miller wrote:
> 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
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
https://fedoraproject.org/wiki/Changes/ImprovedGrubMenu
== Summary ==
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
https://fedoraproject.org/wiki/Changes/ImprovedGrubMenu
== Summary ==
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
