aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMilan Pässler <milan@petabyte.dev>2020-10-10 21:29:13 +0200
committerMilan Pässler <milan@petabyte.dev>2020-10-10 21:29:13 +0200
commit3b36a893f76201e00ae4100a32a8e3bccb067ae1 (patch)
tree5f9a080e5e39694e2e05e76815236752a8726662
parentd78a2422911b3c0674418cbda9c3e9e18c3f610f (diff)
.
-rw-r--r--.gitignore1
-rw-r--r--modules/grub2/default.nix15
2 files changed, 8 insertions, 8 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000000..b2be92b7db01
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+result
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;
};
};
}