Re: [gentoo-user] Re: How to make a boot menu?

2022-04-18 Thread Neil Bothwick
On Sun, 17 Apr 2022 19:50:41 -0400, Rich Freeman wrote: > grub-mkconfig just runs a bunch of shell scripts to generate > everything, so you can have it autogenerate anything you want. It > seems like a rough way to do it would be to just copy the regular > linux once for each runlevel so that

Re: [gentoo-user] Re: How to make a boot menu?

2022-04-18 Thread Neil Bothwick
On Sun, 17 Apr 2022 16:48:04 - (UTC), Martin Vaeth wrote: > >> Hm. If I'm reading the wiki right, it can't handle choice of run > >> levels with a selected kernel. Or is that wrong? > > > > From what I understand you should be able to tweak kernel command > > line options in

[gentoo-user] Re: How to make a boot menu?

2022-04-17 Thread Martin Vaeth
Rich Freeman wrote: > On Sun, Apr 17, 2022 at 3:00 PM Martin Vaeth wrote: >> >> Yes, without a manually written grub.cfg you get none of these features - >> the default grub.cfg is just horrible. >> Well, the most powerful feature is probably still available: >> The possibility to edit the

Re: [gentoo-user] Re: How to make a boot menu?

2022-04-17 Thread Rich Freeman
On Sun, Apr 17, 2022 at 3:00 PM Martin Vaeth wrote: > > Yes, without a manually written grub.cfg you get none of these features - > the default grub.cfg is just horrible. > Well, the most powerful feature is probably still available: > The possibility to edit the kernel's command line, partition

[gentoo-user] Re: How to make a boot menu?

2022-04-17 Thread Martin Vaeth
Michael wrote: > On Sunday, 17 April 2022 17:48:04 BST Martin Vaeth wrote: >> Michael wrote: >> > From: Michael >> > >> > On Sunday, 17 April 2022 16:52:34 BST Peter Humphrey wrote: >> >> > Why not try rEFInd? It handles UEFI booting simply, without the >> >> > no-longer-needed bloat of GRUB.

Re: [gentoo-user] Re: How to make a boot menu?

2022-04-17 Thread Michael
On Sunday, 17 April 2022 17:48:04 BST Martin Vaeth wrote: > Michael wrote: > > From: Michael > > > > On Sunday, 17 April 2022 16:52:34 BST Peter Humphrey wrote: > >> > Why not try rEFInd? It handles UEFI booting simply, without the > >> > no-longer-needed bloat of GRUB. > >> > >> Hm. If I'm

[gentoo-user] Re: How to make a boot menu?

2022-04-17 Thread Martin Vaeth
Michael wrote: > From: Michael > On Sunday, 17 April 2022 16:52:34 BST Peter Humphrey wrote: >> > Why not try rEFInd? It handles UEFI booting simply, without the >> > no-longer-needed bloat of GRUB. >> >> Hm. If I'm reading the wiki right, it can't handle choice of run levels with >> a selected