Subject: [bug#38809] [PATCH] bootloader: grub: Add resolution override.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Sat, 04 Jan 2020 11:41:36 +0100

Jan Nieuwenhuizen 写道：
> With this patch I finally have a readable GRUB menu.

Thanks!  Perhaps it will help solve my EFI framebuffer woes 
(probably not but who knows.

> I am not sure about the name and semantics of `resolution':
> Better to use `gfxmode', and/or use a list of strings
> '("1024x768x32" "auto"), ... WDYT?

Yes please, on both counts.  Grub-theme should expose the GRUB 
variable, not a lossy abstraction.

Kind regards,

T G-R