答案1
找到了;原来是 9x15.bdf。我刚刚下载了它们并逐一检查。这里记录了步骤,以防其他人有强迫症:
使用通配符的 wget,来自这里
$ wget -r -nd -np -A '*.bdf' https://opensource.apple.com/source/X11fonts/X11fonts-14/font-misc-misc/font-misc-misc-1.1.2
检查每个 bdf 的脚本(等待来自这里):
$ for font in *.bdf; do echo $font; gnome-font-viewer $font & read -n1 -s -r -p $'Press key to continue...\n' key; done
找到您想要的字体;然后通过之前链接的答案中的技术进行安装。