nixpkgs/nixos/modules/system/boot/loader
Kai 9929e83607 systemd-boot-builder.py: add support for profiles (#26318)
* systemd-boot-builder.py: add support for profiles

This will also list the generations of other profiles than `system` in
the boot menu. See the documentation of the `--profile-name` option of
nixos-rebuild for more information on profiles.

* Fix errors introduced by previous commit
2017-06-24 20:33:34 +01:00
..
generations-dir fix indentation in several nixos option descriptions 2016-12-16 18:29:25 +01:00
generic-extlinux-compatible
grub Merge pull request #26460 from romildo/fix.nixos-artwork 2017-06-13 23:20:52 +01:00
init-script
raspberrypi raspberryPi boot loader: don't remove xx-initrd files 2017-02-12 02:48:57 +02:00
systemd-boot systemd-boot-builder.py: add support for profiles (#26318) 2017-06-24 20:33:34 +01:00
efi.nix
loader.nix