У вас здесь два разных вопроса.
Чтобы изменить размер шрифта консоли:
Казалось, что может быть больше вовлечено, чем больше я исследовал это, но все, что мне потребовалось, чтобы увеличить размер, это отредактировать /etc/по умолчанию/настройка консоли.
изменение или добавление строки:
ФОНТРАЗМЕР="8x16"
к
ФОНТСИЗО="16x32"
а потом sudo update-grub
а потом перезагрузка.
(обратитесь к справочной странице настройка консоли человека
для приемлемых вариантов)
Вы также можете использовать sudo dpkg-reconfigure console-setup
для настройки шрифта консоли.
Вы можете изменить размер шрифта меню grub с помощью grub-mkfont
Краткое руководство: если вы знаете, где находится шрифт.
sudo grub-mkfont --output=/boot/grub/fonts/Myunifont32.pf2 --size=32 /home/username/Downloads/unifont-14.0.01.ttf
Затем отредактируйте /etc/update/grub, добавив:
GRUB_FONT=/boot/grub/шрифты/Myunifont32.pf2
sudo update-grub
Затем перезагрузитесь, и ваши изменения должны присутствовать.
Справочная информация/длинные инструкции:
Вам, вероятно, потребуется знать, где хранятся шрифты, чтобы вы могли сослаться на них.
Использовать fc-список
для этого.
Если вы имеете в виду шрифт, то grep для этого имени шрифта в выводе. Примечание. Использование собственного шрифта потребует проб и ошибок, чтобы получить «симпатичный» экран grub, к которому вы привыкли. Многие шрифты будут работать и быть читаемыми, но символы, используемые для создания внешнего вида «графики», могут не совпадать или не соответствовать тому, к чему вы привыкли.
Бег строки -a /boot/grub/fonts/unicode.pf2
показывает "Унифонт Регулярный 16". Мне не повезло найти Unifont на моей машине, поэтому я нашел его в репозитории и sudo apt установить унифонт
. Это заставит его отображаться в fc-список
вывод.
После того, как вы решили, какой шрифт вы хотите использовать: (например, для unifont)
fc-список | grep -i унифонт
/usr/share/fonts/truetype/unifont/unifont.ttf Unifont:style=Medium
/usr/share/fonts/truetype/unifont/unifont_upper.ttf Unifont Upper:style=Medium
/usr/share/fonts/truetype/unifont/unifont_csur.ttf: Unifont CSUR:style=Medium
Или, если вы скачали его:
Он будет в любой папке, в которую вы его загрузили: (я также нашел его здесь)
/home/имя пользователя/Загрузки/unifont-14.0.01.ttf
Теперь вы знаете, где находится ваш шрифт, вы можете использовать его, чтобы создать его для grub и изменить его размер:
(Вывод [должен] попадать в /загрузка/жратва/шрифты каталог с вашим собственным именем файла, поэтому вам понадобится sudo)
sudo grub-mkfont --output=/boot/grub/fonts/Myunifont32.pf2 --size=32 /usr/share/fonts/truetype/unifont/unifont.ttf
Теперь вам нужно будет сослаться на ваш новый шрифт в файле /etc/по умолчанию/жратва.
Отредактируйте этот файл (как sudo) любым способом, который вы используете (т.е. sudo vim /etc/по умолчанию/жратва
)
и добавьте строку:
GRUB_FONT=/boot/grub/шрифты/Myunifont32.pf2
Сохраните файл и выйдите.
Затем запустите sudo update-grub
... а затем перезагрузитесь, и вы должны увидеть, как ваш шрифт изменился...
В зависимости от того, какой шрифт вы решили использовать, вам, возможно, придется выполнять этот процесс снова и снова, чтобы внести коррективы.(это займет несколько секунд, как только вы поймаете ритм). Я попытался сократить процесс, создав общее имя «MYFONT» в /etc/default/grub и в /boot/grub/fonts, просто сделав ссылку из MYFONT на фактический шрифт. Таким образом, я мог просто создать 10 из них для тестирования всех одновременно, а затем менять ссылку каждый раз, когда я хотел протестировать новую, без необходимости sudo update-grub
... ЭТО НЕ РАБОТАЛО, даже если ссылка указывала на новый файл, мне пришлось sudo update-grub
чтобы увидеть мои изменения ... так что кое-что иметь в виду.
unifont.ttf кажется самым близким, и он выглядит нормально, но сразу же в выводе fc-list вы можете увидеть «средний» против «обычный» в выводе строк unicode.pf2... Это говорит мне, что они не совсем одинаковы. Я полагаю, что оригинальный шрифт должен быть ГДЕ-ТО там, но я не могу его найти. Если наткнетесь, отпишитесь здесь. Я просмотрел кучу сайтов, и кажется, что никто другой не смог его идентифицировать.