It's been a while since I saw it, but I swear I once had a graphical
tool for editing various Grub parameters, including the splash screen
image, font, font size, and the grub menu, but I can't find it now.
On 10/18/2016 11:22 AM, Richard Owlett wrote:
On 10/18/2016 9:20 AM, Darac Marjal wrote:
On Tue, Oct 18, 2016 at 08:51:00AM -0500, Richard Owlett wrote:
With GRUB2 on Jessie, how do I increase the menu's font _size_ .
A Google search wandered around my problem without addressing it.
I did discover that that GRUB was using a resolution that
matched my monitor's settings.
[When menu comes up go to command mode by typing 'c'. Then
enter 'vbeinfo' to see list of supported resolutions. In my
case the active resolution was listed as 1280 x 1024.]
You will need to convert a font of your choice to GRUB's pf2 format:
# grub-mkfont -o /boot/grub/fonts/example.pf2 -s 24
(adjust the names to reflect your chosen font. The parameter to
-s is the font size in pixels).
Next up, tell grub that you want to use your new font. Add this
I'm confused. We may be using the term "font" differently. The existing
font family is acceptable. I just wish to change size of existing font.
multilingual web development
EN, ES, FR, PT