1 From 11392b57ed24d3c8bf7fdfa49d9509a9d8ace98b Mon Sep 17 00:00:00 2001
2 From: Colin Watson <cjwatson@ubuntu.com>
3 Date: Mon, 13 Jan 2014 12:13:27 +0000
4 Subject: Cope with Kubuntu setting GRUB_DISTRIBUTOR
6 This is not a very good approach, and certainly not sanely upstreamable;
7 we probably need to split GRUB_DISTRIBUTOR into a couple of different
10 Bug-Ubuntu: https://bugs.launchpad.net/bugs/1242417
12 Last-Update: 2013-12-25
14 Patch-Name: install_efi_ubuntu_flavours.patch
16 util/grub-install.c | 2 ++
17 1 file changed, 2 insertions(+)
19 diff --git a/util/grub-install.c b/util/grub-install.c
20 index 0d77a2a..1f27b65 100644
21 --- a/util/grub-install.c
22 +++ b/util/grub-install.c
23 @@ -1089,6 +1089,8 @@ main (int argc, char *argv[])
26 efi_distributor = bootloader_id;
27 + if (strcmp (efi_distributor, "kubuntu") == 0)
28 + efi_distributor = "ubuntu";
31 case GRUB_INSTALL_PLATFORM_I386_EFI: