grub-config.xml: handle a null font

This commit is contained in:
Graham Christensen 2018-06-05 10:37:12 -04:00
parent 23bfa472ad
commit 52de38f5f4
No known key found for this signature in database
GPG key ID: ACA1C1D120C83D5C

View file

@ -64,9 +64,10 @@ let
)) + ":" + (makeSearchPathOutput "bin" "sbin" [
pkgs.mdadm pkgs.utillinux
]);
font = if lib.last (lib.splitString "." cfg.font) == "pf2"
font = if cfg.font == null then ""
else (if lib.last (lib.splitString "." cfg.font) == "pf2"
then cfg.font
else "${convertedFont}";
else "${convertedFont}");
});
bootDeviceCounters = fold (device: attr: attr // { "${device}" = (attr."${device}" or 0) + 1; }) {}