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

References