Skip to content

Instantly share code, notes, and snippets.

@ourownstory
Last active September 30, 2021 14:17

Revisions

  1. ourownstory revised this gist Sep 30, 2021. 1 changed file with 3 additions and 1 deletion.
    4 changes: 3 additions & 1 deletion Using the excellent rEFInd.md
    Original file line number Diff line number Diff line change
    @@ -20,7 +20,9 @@ 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 ```
    ```
    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`

  2. ourownstory revised this gist Sep 30, 2021. 1 changed file with 2 additions and 0 deletions.
    2 changes: 2 additions & 0 deletions Using the excellent rEFInd.md
    Original file line number Diff line number Diff line change
    @@ -36,3 +36,5 @@ cd /mnt/EFI/refind
    vim refind.conf
    ```

    Here, I like to adjust things like lowering the timeout to 5.
    Have fun!
  3. ourownstory revised this gist Sep 30, 2021. 1 changed file with 16 additions and 1 deletion.
    17 changes: 16 additions & 1 deletion Using the excellent rEFInd.md
    Original file line number Diff line number Diff line change
    @@ -20,4 +20,19 @@ 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 ```
    ``` sudo fdisk -l ```

    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
    ```

  4. ourownstory renamed this gist Sep 30, 2021. 1 changed file with 0 additions and 0 deletions.
  5. ourownstory created this gist Sep 30, 2021.
    23 changes: 23 additions & 0 deletions Using the excellent rEFInd
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,23 @@
    These are notes for how to use [rEFInd tool](https://www.rodsbooks.com/refind/).

    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 ```