From 3b202b0e58b57f31328fbd1b57fea53a25b95421 Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Tue, 5 Sep 2017 22:52:48 -0400 Subject: Create GRUB config files font-file, font-project 'font-file' contains the filename (not path) of the font to use when making a PF2-format GRUB font. 'font-project' contains the name of the project which built the original font file. These files are necessary to avoid hard-coding the font and/or the path to the font as an argument to grub-mkfont. --- projects/grub/configs/fonts/font-file | 1 + projects/grub/configs/fonts/font-project | 1 + 2 files changed, 2 insertions(+) create mode 100644 projects/grub/configs/fonts/font-file create mode 100644 projects/grub/configs/fonts/font-project (limited to 'projects/grub/configs/fonts') diff --git a/projects/grub/configs/fonts/font-file b/projects/grub/configs/fonts/font-file new file mode 100644 index 00000000..adae2139 --- /dev/null +++ b/projects/grub/configs/fonts/font-file @@ -0,0 +1 @@ +DejaVuSansMono.ttf diff --git a/projects/grub/configs/fonts/font-project b/projects/grub/configs/fonts/font-project new file mode 100644 index 00000000..34a8df95 --- /dev/null +++ b/projects/grub/configs/fonts/font-project @@ -0,0 +1 @@ +dejavu-fonts -- cgit v1.2.3-70-g09d2