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
..
systemd-boot-builder.py	systemd-boot-builder.py: add support for profiles (#26318)	2017-06-24 20:33:34 +01:00
systemd-boot.nix