From: Colin Watson Date: Mon, 13 Jan 2014 12:13:27 +0000 (+0000) Subject: Adjust efi_distributor for some distributions X-Git-Tag: archive/raspbian/2.12-8+rpi1^2~129 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=2944039d6e06f742448bfdea122e13e2b7318a0a;p=grub2.git 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 Gbp-Pq: Name install-efi-adjust-distributor.patch --- diff --git a/util/grub-install.c b/util/grub-install.c index dc3813b..1f69187 100644 --- a/util/grub-install.c +++ b/util/grub-install.c @@ -1141,6 +1141,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"; if (removable) { /* The specification makes stricter requirements of removable