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:46:34
Message-Id:	`4753994.31r3eYUQgx@wstn`
In Reply to:	Re: [gentoo-user] How to make a boot menu? by Peter Humphrey

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