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	extlinux-conf-builder: Choose whether to use DTBs on per-generation basis	2016-07-10 03:03:51 +03:00
grub	Merge pull request #26460 from romildo/fix.nixos-artwork	2017-06-13 23:20:52 +01:00
init-script	init-script-builder: handle containers without a kernel	2016-02-10 23:27:28 +00:00
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	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
loader.nix