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 dc3813b24671831f52e075c388044de73e6af49b..1f691871eb9de59e3479fa75ad51a30df9f94315 100644 (file)
--- 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