Grub2: установить шрифт динамически на основе разрешения видео?

Я хочу изменить свой grub.cfg, чтобы выбрать шрифт динамически на основе разрешения экрана. У меня есть 4K-дисплей на моем ноутбуке, но часто загружаюсь с внешним монитором 1080, а шрифт, который работает на дисплее 4K, огромен, если используется внешний экран. Я не хочу принуждать к более низкому разрешению. В основном я могу определить текущий видеорежим на основе вывода команды «videoinfo», но я не вижу, как получить вывод этой команды в переменную, чтобы я мог ее проанализировать с помощью команды «regexp».

Вы можете перечислить все разрешения, которые хотите получить grub, отредактировав следующую строку в /etc/grub/default :

GRUB_GFXMODE=width1xheight1;width2xheight2;width3xheight3

Дополнительная информация о руководстве grub (gfxmode)