diff options
Diffstat (limited to 'modules/grub2/default.nix')
| -rw-r--r-- | modules/grub2/default.nix | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/modules/grub2/default.nix b/modules/grub2/default.nix index e07b2987bb0c..91aa378753b3 100644 --- a/modules/grub2/default.nix +++ b/modules/grub2/default.nix @@ -10,6 +10,7 @@ in { font = mkOption { type = types.path; + #default = "${pkgs.dejavu_fonts}/share/fonts/truetype/DejaVuSansMono.ttf"; default = "${pkgs.unifont}/share/fonts/truetype/unifont.ttf"; }; }; @@ -20,15 +21,13 @@ in { type = "payload"; src = "${pkgs.coreboot-payload-grub2}/default_payload.elf"; }; - "etc/grub.cfg".src = ./files/grub.cfg; - "etc/background.png".src = ./files/background.png; - "font.pf2" = { - src = pkgs.runCommand "font.pf2" { + "font.pf2".src = ( + pkgs.runCommand "font.pf2" { buildInputs = with pkgs; [ grub2 ]; - } '' - grub-mkfont -o $out ${cfg.font} - ''; - }; + } "grub-mkfont --range=0x20-0x7E,0x2501-0x251F,0x2191-0x2193 --size=14 -o $out ${cfg.font}" + ); + "etc/grub.cfg".src = ./files/grub.cfg; + "background.png".src = ./files/background.png; }; }; } |