Как загрузить пользовательские шрифты в тему GRUB? ⇐ Linux

[Anonymous]

Я пытаюсь создать собственную тему для загрузчика GRUB, используя определенный шрифт, который я создал сам. Однако у меня возникли проблемы с загрузкой файла шрифта.
Я создал шрифт с помощью следующей команды:

Код: Выделить всё

sudo grub-mkfont --output=./DejaVuSansMono20.pf2 --size=20 /usr/share/fonts/TTF/dejavu/DejaVuSansMono.ttf

Я попытался загрузить его в файл theme.txt, но по умолчанию используется стандартный шрифт, хотя настройки цвета текста применяются правильно.
Вот соответствующий раздел моей темы.txt:

Код: Выделить всё

desktop-image: "background.png"
title-text: ""
terminal-box: "terminal_*.png"
terminal-left: "10%"
terminal-top: "25%"
terminal-width: "80%"
terminal-height: "50%"

+ boot_menu {

left = 20%
width = 60%
top = 30%
height = 40%
item_font = "DejaVuSansMono20.pf2"
item_color = "#808080"
selected_item_font = "DejaVuSansMono30.pf2""
selected_item_color = "#ff0000"

}

Я создал свою тему на основе другой темы, в которой шрифт работает, но не используется имя файла; вместо этого он использует другое имя. Я подумал, что это может быть связано с флагом -n, описанным здесь:
https://manpages.ubuntu.com/manpages/bi ... ont.1.html
К сожалению, использование флага -n не решило проблему. Я также попытался удалить шрифты из другой темы, но, как и ожидалось, они не загрузились, подтверждая, что шрифты используются из своего каталога.
Есть ли какая-либо документация или руководство о том, как это сделать? правильно создавать и загружать собственные шрифты для темы GRUB? Я уже просматривал официальное руководство по GRUB здесь: https://www.gnu.org/software/grub/manua ... html#Fonts, но это не помогло. проблема.

Подробнее здесь: https://stackoverflow.com/questions/784 ... grub-theme