Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #236450
| From | Cindy Sue Causey <butterflybytes@gmail.com> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: grub2 boot menu |
| Date | 2021-06-25 17:50 +0200 |
| Message-ID | <CtWfD-1XH-5@gated-at.bofh.it> (permalink) |
| References | <Ctydk-42p-17@gated-at.bofh.it> <Ctydk-42p-19@gated-at.bofh.it> <Ctydk-42p-15@gated-at.bofh.it> <CtDcZ-77b-1@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On 6/24/21, didier gaumet <didier.gaumet@gmail.com> wrote: > > Hello, > > Grub can ignore all or only certain OSes that os-prober detects by > setting up the desired behaviour in /etc/default/grub > > from the grub info page: > [...]" > 'GRUB_DISABLE_OS_PROBER' > Normally, 'grub-mkconfig' will try to use the external 'os-prober' > program, if installed, to discover other operating systems > installed on the same system and generate appropriate menu entries > for them. Set this option to 'true' to disable this. > > 'GRUB_OS_PROBER_SKIP_LIST' > List of space-separated FS UUIDs of filesystems to be ignored from > os-prober output. For efi chainloaders it's <UUID>@<EFI FILE> > "[...] This is basically just noise, but, ooohhh, that sounds NICE.... and HANDY. I'm wondering how many other tricks like that exist that never see the light of day. In a perfect World, maybe someone with deep knowledge of those features could approach Debian-Publicity about submitting e.g. "Hey, Did You Know You Can...." tips that are included in their newsletters and updates? Speaking as someone with cognitive issues such that I operate as a perennial newbie, it would surely help if someone could point GRUB Users to what that "<EFI FILE>" is referencing. For now, it just sounds like part of the fancier loading needs that are occasionally discussed here on Debian-User. My thought process is that maybe hearing it further described will trigger a fellow lurker's interest in learning more about how their Debian works right from the boot beginning. Cindy :) -- Cindy-Sue Causey Talking Rock, Pickens County, Georgia, USA * runs with birdseed *
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: grub2 boot menu Greg Wooledge <greg@wooledge.org> - 2021-06-24 16:10 +0200
Re: grub2 boot menu didier gaumet <didier.gaumet@gmail.com> - 2021-06-24 21:30 +0200
Re: grub2 boot menu Cindy Sue Causey <butterflybytes@gmail.com> - 2021-06-25 17:50 +0200
Re: grub2 boot menu didier gaumet <didier.gaumet@gmail.com> - 2021-06-25 21:20 +0200
csiph-web