SrTobi eff8d3bdb1 nixos/grub: implements GRUB_SAVEDEFAULT feature ...

Grub will remember the configuration that was booted and
select it as default menu entry the next time (#108206).

2021-07-28 18:57:08 +02:00

..

generations-dir

…

generic-extlinux-compatible

…

grub

nixos/grub: implements GRUB_SAVEDEFAULT feature

2021-07-28 18:57:08 +02:00

init-script

…

raspberrypi

…

systemd-boot

…

efi.nix

…

loader.nix

…