From 6e40895560f7680258feec65345ce9843e8fbd9b Mon Sep 17 00:00:00 2001
From: Holger Paradies <retabell@gmx.de>
Date: Sat, 21 Sep 2024 12:25:30 +0200
Subject: Check for EFI shell download

---
 config/binary_local-hooks/grub2-efi | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/config/binary_local-hooks/grub2-efi b/config/binary_local-hooks/grub2-efi
index 0001128..4495dbc 100755
--- a/config/binary_local-hooks/grub2-efi
+++ b/config/binary_local-hooks/grub2-efi
@@ -85,3 +85,9 @@ done
 [ -f binary/efi/boot/shell$efi_name.efi ] || \
 wget -O binary/efi/boot/shell$efi_name.efi "https://github.com/tianocore/edk2-archive/raw/master/EdkShellBinPkg/FullShell/$shell_dir/Shell_Full.efi"
 
+if [ $? -ne 0 ]; then
+   echo "E: EFI shell download failed..."
+else
+   echo "Debug: EFI shell download succes..."
+fi
+# echo goes to binary.log
-- 
cgit v1.0