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.
# 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