to firstname.lastname@example.org, email@example.com: bug#551; Package grub-efi-amd64-bin.
(Thu, 18 Feb 2021 10:33:02 GMT) (full text, mbox, link).
to Benjamin Boudoir <firstname.lastname@example.org>:
New bug report received and forwarded. Copy sent to email@example.com.
(Thu, 18 Feb 2021 10:33:11 GMT) (full text, mbox, link).
Subject: GRUB config not loaded because of hardcoded debian reference in
GRUB EFI binary
Date: Thu, 18 Feb 2021 11:13:36 +0100
I had to switch to GRUB EFI and after reboot, I was prompted with a GRUB
It seems to be because grub-install install the grub.cfg in EFI/devuan
while the grub binary explicitly search in EFI/debian :
# strings /boot/efi/EFI/devuan/grubx64.efi |grep EFI/
Copying the grub.cfg in EFI/debian/ fixed the issue, so maybe we should
recompile the GRUB binary with devuan paths ?