Option to add extra entries to systemd-boot

[langston-barrett]

Issue description

While the GRUB bootloader has the boot.loader.grub.extraEntries and boot.loader.grub.extraConfig options, there is nothing similar under boot.loader.systemd-boot.

I have another distro on a second partition, is there a workaround for configuring systemd-boot to see it?

Steps to reproduce

n/a

Technical details

System: 17.03pre97896.d15c62a
Nix version: 1.11.4
Nixpkgs version: 17.03pre97896.d15c62a

[langston-barrett]

Perhaps this is out-of-scope? Configuration of /boot might not be in the same wheelhouse as /etc?

[lheckemann]

Yeah, I think NixOS leaves boot entries it didn't create itself alone. At least this is the case for me — my Debian boot entries appear in the NixOS-installed systemd-boot.

As the other OS isn't really part of NixOS's declarative configuration, I think it makes sense to leave it out.

[langston-barrett]

@lheckemann Thanks for the feedback! I'll close this as off-topic.

[michelk]

Did you manage to see the other distro?

[lheckemann]

@michelk if you have the EFI system partition mounted correctly in the other distro and install systemd-boot in it, it should in principle just add the entries which will then be detected by nixos's systemd-boot (or nixos's entires will be detected by the other distro's systemd-boot).

[michelk]

On debian I can't find a package `systemd-boot`

…

On Fri, 2017-09-15 at 03:57 -0700, Linus Heckemann wrote: @michelk if you have the EFI system partition mounted correctly in the other distro and install systemd-boot in it, it should in principle just add the entries which will then be detected by nixos's systemd-boot (or nixos's entires will be detected by the other distro's systemd-boot). — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.

[lheckemann]

Sorry, didn't realise systemd-boot was not in debian. It used to have gummiboot (which is what systemd-boot was called before it moved into systemd) but apparently doesn't support systemd-boot yet. I'd say your best bet is to chainload debian's grub in that case — add something like /boot/loader/entries/debian.conf, with contents like

title Debian
efi /efi/debian/grubx64.efi

[michelk]

Thanks, this worked.