我想调整 grub 主题以获得真正大字体（大约是正常字体的两倍）。我通常使用它install.sh自带的字体和grub-customizer。
简单的部分，各方达成共识：采用（矢量，即 ttf）字体，并将其转换为（像素，.pf2）字体，放置在/boot/grub/fonts/：
sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono36.pf2 \
--size=36 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
困难或奇怪的部分：在中心主题的设置文件中指定此字体不起作用。不知何故需要空格分隔格式？！？
title-font: "Sans Regular 12"
or
title-font: "Gnu Unifont Mono Regular 16"
or
terminal-font: "Lato 12"
问题：
- 我如何从上面的文字文件名
DejaVuSansMono36.pf2变为“漂亮的名字”？（猜出空格的正确位置？） - 那么引用是如何起作用的？
- 而且，我应该把 .pf2 放在最后的位置，还是放在主题文件夹中？（查看 github，后者似乎是正确的……）
这grub 主题规范没有说任何事物关于这种<longname><space><size>格式。鉴于它们.pf2是硬编码的像素字体（就像 90 年代那样 :-)，我想知道尺寸指示的值到底是多少...
小补充
漂亮的“spacy”名称可以通过十六进制编辑器找到：仍然有点奇怪，它是如何被引用的。 grub（或 grub 定制器）是否会解析所有现有*.pf2文件以获得更漂亮的名称包含?!?（或者是否存在我忽略的查找表？）
