this post was submitted on 23 Sep 2023
157 points (94.4% liked)

Ask Lemmy

26980 readers
1248 users here now

A Fediverse community for open-ended, thought provoking questions

Please don't post about US Politics. If you need to do this, try !politicaldiscussion@lemmy.world


Rules: (interactive)


1) Be nice and; have funDoxxing, trolling, sealioning, racism, and toxicity are not welcomed in AskLemmy. Remember what your mother said: if you can't say something nice, don't say anything at all. In addition, the site-wide Lemmy.world terms of service also apply here. Please familiarize yourself with them


2) All posts must end with a '?'This is sort of like Jeopardy. Please phrase all post titles in the form of a proper question ending with ?


3) No spamPlease do not flood the community with nonsense. Actual suspected spammers will be banned on site. No astroturfing.


4) NSFW is okay, within reasonJust remember to tag posts with either a content warning or a [NSFW] tag. Overtly sexual posts are not allowed, please direct them to either !asklemmyafterdark@lemmy.world or !asklemmynsfw@lemmynsfw.com. NSFW comments should be restricted to posts tagged [NSFW].


5) This is not a support community.
It is not a place for 'how do I?', type questions. If you have any questions regarding the site itself or would like to report a community, please direct them to Lemmy.world Support or email info@lemmy.world. For other questions check our partnered communities list, or use the search function.


Reminder: The terms of service apply here too.

Partnered Communities:

Tech Support

No Stupid Questions

You Should Know

Reddit

Jokes

Ask Ouija


Logo design credit goes to: tubbadu


founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] helmet91@lemmy.world 28 points 1 year ago (2 children)

With UEFI bios you no longer need a boot menu like Grub for choosing an OS to boot. You can just use the boot menu of the bios.

(You still need Grub for booting Linux, but no need to show it for long seconds just so you can select Windows from it, if for some reason you have a Windows installed too.)

[–] drbluefall@toast.ooo 13 points 1 year ago (2 children)

I personally find it easier to use my bootloader's menu (I use systemd-boot instead of GRUB) to decide what to boot into. It's a lot simpler than clicking through to the boot submenu in my BIOS.

[–] helmet91@lemmy.world 6 points 1 year ago

Oh, I didn't mean the boot sequence section of the bios, I meant the quick boot selector. Typically there's a key for it (F12, Del, or something else), different from what you use for entering the bios.

That being said, I'm using Grub as well, because I haven't reinstalled it since I've made this discovery. Indeed it's simpler.

[–] PurpleTentacle@sh.itjust.works 1 points 1 year ago (1 children)

Just about every UEFI-compatible BIOS has a "boot override"-key (F8, F12 etc.) that brings up a Grub-like boot-selection screen.

[–] drbluefall@toast.ooo 1 points 1 year ago

Yeah, it's DEL on mine.

I just prefer to use systemd-boot's menu.

[–] traches@sh.itjust.works 12 points 1 year ago

You don’t even need grub to boot Linux; the kernel can be its own bootloader.