diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-05 22:52:48 -0400 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-06 21:31:56 -0400 |
commit | 3b202b0e58b57f31328fbd1b57fea53a25b95421 (patch) | |
tree | ccc55c0cf6a050407d89ce51a532f13de4214a38 /projects/grub/configs | |
parent | 359174e80508e26aee0fc5563c12f34eb574e6b0 (diff) | |
download | librebootfr-3b202b0e58b57f31328fbd1b57fea53a25b95421.tar.gz librebootfr-3b202b0e58b57f31328fbd1b57fea53a25b95421.zip |
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.
Diffstat (limited to 'projects/grub/configs')
-rw-r--r-- | projects/grub/configs/fonts/font-file | 1 | ||||
-rw-r--r-- | projects/grub/configs/fonts/font-project | 1 |
2 files changed, 2 insertions, 0 deletions
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 |