Bootloader: Difference between revisions

imported>Vater
imported>EyJhb
m reset my BIOS this morning, and looked here for this info but could not find it
Line 163: Line 163:
</nowiki>}}
</nowiki>}}
to the grub section of your configuration.
to the grub section of your configuration.
=== Manually adding EFI boot entry ===
If you somehow lost all EFI boot entries (e.g. by resetting your BIOS), then you can manually add it again.
Firstly, find out which disk and partition <tt>/EFI/NixOS-boot/grubx64.efi</tt> is located (can be x86 or something else), which in the example will be <tt>/dev/sda1</tt>.
Then use efibootmgr to add the entry again, where the disk device is specified, with the partition number followed by the index and finally the path to the grub boot loader.
<syntaxhighlight lang="bash">
efibootmgr -c -d /dev/sda -p 1 -L NixOS-boot -l '\EFI\NixOS-boot\grubx64.efi'
</syntaxhighlight>
Remember to specify the location using single quotes, otherwise it might try to escape them instead.


If you have some problems with installation, report them on [https://matrix.to/#/#nix:nixos.org #nix:nixos.org on Matrix].
If you have some problems with installation, report them on [https://matrix.to/#/#nix:nixos.org #nix:nixos.org on Matrix].