When you see your Grub menu, select the OS you want (Mint), but don't press ENTER, press c (for command line).
That gives you a grub prompt:
grub>
Enter
, which gives you a list of the supported resolutions.
Note: the resolutions supported by Grub may differ from the resolutions that your system supports!
Write down the resolutions you might want to use. Then enter "boot" (or F10) to continue booting.
After you boot into Mint, open /etc/default/grub in your text editor:
Code:
gksudo xed /etc/default/grub
Change the line
GRUB_GFXMODE="1152x864" to your prefered resolution.
Save and exit the editor. Then update Grub:
ALTERNATIVELY:
If all you want to change is the font in the Grub menu,
not the resolution, this command will copy and resize the font DejaVuSansMono.ttf and put it into a format and location that GRUB will use:
Code:
sudo grub-mkfont --output=/boot/grub/DejaVuSansMono.pf2 \
--size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
*Note if you are using Grub2 version 1.99 or above - you will probably get errors like the ones below while making the font, but just ignore them.
Unknown gsub font feature 0x63636d70 (ccmp)
Unknown gsub font feature 0x646c6967 (dlig)
Unsupported substitution flag: 0x9
Unsupported substitution flag: 0x9
Unknown gsub font feature 0x6c6f636c (locl)
Unknown gsub font feature 0x6c6f636c (locl)
Unsupported substitution flag: 0x9
Obviously, the
--size=24 can be adjusted to the size you prefer.
Then edit /etc/default/grub and add this line below the GRUB_GFXMODE="1152x864" line:
Code:
GRUB_FONT=/boot/grub/DejaVuSansMono.pf2
Save and exit the editor, and enter