• helmet91@lemmy.world
    link
    fedilink
    arrow-up
    5
    ·
    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.