change bootloader
Hi, on my nixos computer, I tried changing my bootloader (systemd-boot -> grub) and didn't manage to do it, I asked in a nixos discord server fot help and the final answer was
You will need to manually select Grub, maybe even have to explicitely change the default to use. Details depend on your firmware.
I asked for more details as I wasn't sure how to do it, and the answer was
As said, details depend on your firmware, about which I don't know anything, you have to check its manual or, as most don't come with one, explore its menu and settings.
when exploring my /boot repository, I saw that I have both a /boot/EFI/systemd/systemd-bootx64.efi and /boot/EFI/NixOS-boot/grubx64.efi
I then looked into the boot options and didn't find anything, so I decided to come here to ask for help
my computer is an Acer Spin 3 model no N20W1, which we bought in 2022