Adjust efi_distributor for some distributions

This is not a very good approach, and certainly not sanely upstreamable;
we probably need to split GRUB_DISTRIBUTOR into a couple of different
variables.

Bug-Ubuntu: https://bugs.launchpad.net/bugs/1242417
Bug-Debian: https://bugs.debian.org/932966
Forwarded: not-needed
Last-Update: 2019-08-06

Patch-Name: install-efi-adjust-distributor.patch
This commit is contained in:
Colin Watson 2014-01-13 12:13:27 +00:00 committed by Colin Watson
parent 0b33def5d9
commit 11ea79546d

View File

@ -1123,6 +1123,10 @@ main (int argc, char *argv[])
*/
char *t;
efi_distributor = bootloader_id;
if (strcmp (efi_distributor, "kubuntu") == 0)
efi_distributor = "ubuntu";
else if (strcmp (efi_distributor, "devuan") == 0)
efi_distributor = "debian";
switch (platform)
{
case GRUB_INSTALL_PLATFORM_I386_EFI: