diff --git a/util/grub-install.c b/util/grub-install.c index f49c78d0b..48c8c0364 100644 --- a/util/grub-install.c +++ b/util/grub-install.c @@ -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: