• Dr. Bluefall@toast.ooo
      link
      fedilink
      English
      arrow-up
      10
      ·
      2 years 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.