[SOLVED] GRUB text size problem

I’m currently dual-booting a Framework laptop between Ubuntu 22.04 and Windows 10 using grub. All is well, except that I have to strain my old eyes to see the tiny grub menu when it appears in the top left hand corner of the screen.

I’m sure there must be a way to persuade grub to use a more appropriate resolution. But I haven’t yet found it. This method doesn’t appear to change anything.

I’ve tried in vain GRUB_GFXMODE=1600x1200x32,auto, which is one of the resolutions the grub console’s videoinfo offers. Any help would be very welcome.


Chris