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.
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.
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.
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.
Just about every UEFI-compatible BIOS has a “boot override”-key (F8, F12 etc.) that brings up a Grub-like boot-selection screen.
Yeah, it’s DEL on mine.
I just prefer to use systemd-boot’s menu.