• Dr. Bluefall
    link
    fedilink
    English
    1310 months ago

    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.

    • @[email protected]
      link
      fedilink
      610 months 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.

    • @[email protected]
      link
      fedilink
      19 months ago

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

      • Dr. Bluefall
        link
        fedilink
        English
        19 months ago

        Yeah, it’s DEL on mine.

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