[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38809] [PATCH] bootloader: grub: Add resolution override.
From: |
Danny Milosavljevic |
Subject: |
[bug#38809] [PATCH] bootloader: grub: Add resolution override. |
Date: |
Sat, 4 Jan 2020 16:45:12 +0100 |
Hi janneke,
On Mon, 30 Dec 2019 11:33:09 +0100
Jan Nieuwenhuizen <address@hidden> wrote:
> With this patch I finally have a readable GRUB menu. 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?
Especially with HiDPI, the word "resolution" is ambiguous.
Also, gfxmode values are not standardized (f.e. u-boot would not know what
to do with them), so using a non-grub-specific key doesn't bring us anything.
I much prefer lists instead of one string. But grub apparently has "," and
";" as separators--presumably with the same meaning?
It also has the special value "keep" as possible first item.
In view of this complication it's maybe better not to use lists.
pgpIuQQzkp3sB.pgp
Description: OpenPGP digital signature
[bug#38809] [PATCH] bootloader: grub: Add resolution override., Alex Griffin, 2020/01/23