:: Re: [DNG] [SOLVED] EFI boot not fou…
Top Page
Delete this message
Reply to this message
Author: aitor
Date:  
To: dng
Subject: Re: [DNG] [SOLVED] EFI boot not found, partially solved in gnuinos (Was: 1st boot failed but repaired OK)
Hi again,

On 22/12/21 22:12, aitor wrote:
>
> The trick was in the lines nº 1212 - 1216 of grub-install.c:
>
>       efi_distributor = bootloader_id;
>       if (strcmp (efi_distributor, "kubuntu") == 0)
>     efi_distributor = "ubuntu";
>       else if (strcmp (efi_distributor, "devuan") == 0)
>     efi_distributor = "debian";
>

Once applied the quilt patches, i mean. And the patch is:

https://salsa.debian.org/grub-team/grub/-/blob/master/debian/patches/install-efi-adjust-distributor.patch
<https://salsa.debian.org/grub-team/grub/-/blob/master/debian/patches/install-efi-adjust-distributor.patch>

Cheers,

Aitor.