I can't control the font size on the grub screen. For example, if I do:
grub set gfxmode=1024x768x32
I get no change in the font size, and it remains tiny. Why is this?
There is much on the internet about changing font size by editing /etc/default/grub and doing 'update-grub' and similar, but there is nothing about doing it on-the-fly right in the grub terminal.
I'm running Ubuntu 20.04 on a Lenovo t400.
Thanks for reading this. Happy holidays!