From ff303d2678f3ab6ebd6c41463f126d1806d96d03 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Fri, 25 Nov 2022 13:48:03 -0500
Subject: [PATCH] debian-installer: Fix mini.iso boot on EFI systems

---
 helpers/make-debian-installer | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/helpers/make-debian-installer b/helpers/make-debian-installer
index 1bc56f75..05d1f30c 100644
--- a/helpers/make-debian-installer
+++ b/helpers/make-debian-installer
@@ -81,6 +81,10 @@ rpl ubuntu-archive-keyring trisquel-archive-keyring . -R
 sed -i 's/.*SIGNED_IMAGE="$(KERNELNAME_ALT_SUFFIX)".*/'$'\t''efi-image $(TEMP_GRUB_EFI) x86_64-efi x64/' build/config/x86.cfg build/config/arm64.cfg
 /bin/sed -i '/KERNELNAME_ALT_SUFFIX = -$(KERNELVERSION)/d' build/config/*.cfg build/config/*/*.cfg
 
+# Fix mini.iso boot on EFI systems
+sed 's|/debian|/trisquel|' -i ./build/util/efi-image
+sed 's|EFI/debian|EFI/trisquel|' -i ./build/config/arm.cfg ./build/config/x86.cfg
+
 changelog "Rebranded and adapted for Trisquel"
 compile
 
-- 
GitLab