Commit f3a7735a authored by Colin Watson's avatar Colin Watson Committed by Colin Watson

Cope with Kubuntu setting GRUB_DISTRIBUTOR

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

Forwarded: not-needed
Last-Update: 2013-12-25

Patch-Name: install_efi_ubuntu_flavours.patch
parent aa30b8a1
......@@ -1101,6 +1101,8 @@ main (int argc, char *argv[])
char *t;
efi_distributor = bootloader_id;
if (strcmp (efi_distributor, "kubuntu") == 0)
efi_distributor = "ubuntu";
switch (platform)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment