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