From 1fe2c1abcec769f160e7f7adc320699d9e99dc3d Mon Sep 17 00:00:00 2001
From: Andrew Engelbrecht <andrew@fsf.org>
Date: Mon, 28 Aug 2023 16:36:28 -0400
Subject: [PATCH] worarkoudn for issue when booting via GRUB

---
 README.mdwn        | 8 ++++++++
 live-usb-loader.sh | 1 +
 2 files changed, 9 insertions(+)

diff --git a/README.mdwn b/README.mdwn
index 54f0a53..b056260 100644
--- a/README.mdwn
+++ b/README.mdwn
@@ -48,6 +48,14 @@ Then run the script on the same drive:
 
     sudo ./live-usb-loader.sh trisquel_11.0-fsf_amd64.iso /dev/sdX
 
+If GRUB in LibreBoot doesn't recognize the USB isolinux menu, then Re-run the
+following commands for your USB device:
+
+    umount /dev/sdX*
+    syslinux --directory /syslinux/ --install /dev/sdX1
+    sudo dd if=/usr/lib/SYSLINUX/mbr.bin of=/dev/sdX
+    parted /dev/sdX set 1 boot on
+
 ## Installing extra media, including Trisquel 9 source code
 
 This command also updates the Web page that shows up on boot.
diff --git a/live-usb-loader.sh b/live-usb-loader.sh
index 69e1dd1..8348e6c 100755
--- a/live-usb-loader.sh
+++ b/live-usb-loader.sh
@@ -58,6 +58,7 @@ mv $DEVTMP/syslinux/isolinux.cfg $DEVTMP/syslinux/syslinux.cfg
 
 # apparently running syslinux command when /syslinux/ and /isolinux/ both exist
 # leads to GRUB not detecting the isolinux directory.
+## ^ this may be a red herring
 mv $DEVTMP/isolinux $DEVTMP/isolinux.bak
 
 # Create persistency file
-- 
2.25.1