By default Ubuntu/ElementaryOS configure their GRUB to use very small fonts. That really hurts my eyes. I decided to play with GRUB and increase the font size. The process is rather straight forward:
- Generate a GRUB-compatible font with specified size from a TTF (type-type font)
- Edit high-level GRUB configuration file
- Regenerate low-level GRUB configurations
- Restart and enjoy fruit of your labour
I chose a mono-space font with size 36pt: DejaVuSansMono.ttf.
Here are the detailed commands:
# Generate a GRUB-compatible font with specified size
# from a TTF (type-type font)
sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono36.pf2 \
--size=36 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
# Edit high-level GRUB configuration file
# Add/modify the variable `GRUB_FONT`
# GRUB_FONT=/boot/grub/fonts/DejaVuSansMono36.pf2
sudo vim /etc/default/grub
# Regenerate low-level GRUB configurations
sudo update-grub
# Now you should restart