nixos/grub: allow multiple "nodev" devices for mirroredBoots
For UEFI setups, "device" will generally be the special value "nodev"
which represents not running grub-install at all. Using "nodev" for
boot mirrors should therefore be allowed.
commitfdd944526ccbf2229df70bb7fa1538649642887c
authorLinus Heckemann <git@sphalerite.org>
dateWed 9 Sep 2020, 07:37 (6 years ago)
parent6152513
nixos/modules/system/boot/loader/grub/grub.nix+1−1
@@ -741,7 +741,7 @@ in
741741 + "'boot.loader.grub.mirroredBoots' to make the system bootable.";
742742 }
743743 {
744− assertion = cfg.efiSupport || all (c: c < 2) (mapAttrsToList (_: c: c) bootDeviceCounters);
744+ assertion = cfg.efiSupport || all (c: c < 2) (mapAttrsToList (n: c: if n == "nodev" then 0 else c) bootDeviceCounters);
745745 message = "You cannot have duplicated devices in mirroredBoots";
746746 }
747747 {