Warning: Some posts on this platform may contain adult material intended for mature audiences only. Viewer discretion is advised. By clicking ‘Continue’, you confirm that you are 18 years or older and consent to viewing explicit content.
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.