You can also interact with the EFI boot entries from user space with efibootmgr
. Changing the boot order, as well as adding or removing boot options, is pretty simple once you know the commands.
rEFInd also has a built-in tool which piggybacks off of efibootmgr
to set itself as the primary boot option. It has to be run from the installation where you installed rEFInd of course:
sudo refind-mkdefault