Using the excellent rEFInd.md

These are notes for how to use rEFInd tool.

Note assuming you are on a debian based system like Ubuntu or POP_OS!

Install

To set it up, all you need to do is to run this in your terminal:

sudo apt-add-repository ppa:rodsmith/refind
sudo apt update
sudo apt install refind

Configure

This is a little confusing and difficult to find in the documentation.

You can simply delete unwanted items in the boot menu itself.

Adjusting more, you have to modify the refind.conf

First, we have to find the file. it is in the EFI partition.

Let's identify it:

sudo fdisk -l  | grep EFI

In my case, I have one EFI partition from Windows and one from linux. It is in the latter. For me, the device ID is /dev/nvme0n1p6

Now we can mount it:

sudo mount /dev/nvme0n1p6 /mnt 
cd /mnt/EFI/refind

Finally, we can open and modify the file. Note, you may have to run sudo su to access the mounted EFI partition.

cd /mnt/EFI/refind
vim refind.conf

Here, I like to adjust things like lowering the timeout to 5. Have fun!