> Which entries? I do not currently have any settings in /etc/default/grub
> related to resolution or font size.
>
> I'm asking which settings should be used in there (or anywhere else), if
> anyone knows.
>
> The video= kernel command line looks promising and I will try this when
> I've finished using my laptop for work today :)
>
> It would help though if anyoen were able to confirm that I'm on the
> right track with that.
>
> Thanks,
> Andy
What I meant, is this, see an extract of mine here:
comment this or remove "quiet"
GRUB_CMDLINE_LINUX_DEFAULT="quiet"
Here you might want to set the resolution of boot screen. If your resolution is lower, fonts are bigger.
There is also a kernel parameter which can be set, to use bigger fonts, but at the moment, I forgot, which. Google might help.
# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
# GRUB_GFXMODE=1024x768
GRUB_GFXMODE=1920x1080
With this parameter set, you can force the resolution of the console after boot.
GRUB_GFXPAYLOAD_LINUX=keep
Please excuse, if I am telling you things, you already know.
For most people it is enough, just to change the resolution at boot.
Have fun!
Hans