On Thu, Feb 01, 2024 at 10:09:04AM +, Mate Kukri wrote:
> We are going to be shipping something like this in Ubuntu as we would
> like our boot entries to be called "Ubuntu" instead of "ubuntu".
>
> I wonder if other users of GRUB would find this naming approach
> better, I could gate this behi
We are going to be shipping something like this in Ubuntu as we would
like our boot entries to be called "Ubuntu" instead of "ubuntu".
I wonder if other users of GRUB would find this naming approach
better, I could gate this behind a command line option if the patch
is easier to accept that way.
- Allow entries to be called things like "Debian" and "Ubuntu".
- If there is no `GRUB_DISTRIBUTOR` assume it is "GRUB".
- When deleting previous boot options, allow matching against both
the old "efi_distributor" value and the new "efi_title" one.
Signed-off-by: Mate Kukri
---
grub-core/osdep
