Gentoo Archives: gentoo-user

From:	Peter Humphrey <peter@××××××××××××.uk>
To:	gentoo-user@l.g.o
Subject:	Re: [gentoo-user] How to make a boot menu?
Date:	Sun, 17 Apr 2022 16:38:31
Message-Id:	`11983656.O9o76ZdvQC@wstn`
In Reply to:	Re: [gentoo-user] How to make a boot menu? by Michael

1	On Sunday, 17 April 2022 16:12:29 -00 Michael wrote:
2	> On Sunday, 17 April 2022 16:52:34 BST Peter Humphrey wrote:
3	> > On Sunday, 17 April 2022 14:33:01 -00 Neil Bothwick wrote:
4	> > > Why not try rEFInd? It handles UEFI booting simply, without the
5	> > > no-longer-needed bloat of GRUB.
6	> >
7	> > Hm. If I'm reading the wiki right, it can't handle choice of run levels
8	> > with a selected kernel. Or is that wrong?
9	>
10	> From what I understand you should be able to tweak kernel command line
11	> options in /boot/EFI/gentoo/refind_linux.conf.
12
13	Ah, right. I'll have a look at that.
14
15	--
16	Regards,
17	Peter.

Subject	Author
Re: [gentoo-user] How to make a boot menu?	Peter Humphrey <peter@××××××××××××.uk>