Fixing VxDev boot entry (#69)

votingworks · Aug 19, 2022 · 5ddd3c7 · 5ddd3c7
1 parent f0195a4
commit 5ddd3c7
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/airootfs/usr/share/vx-img/flash-image.sh b/airootfs/usr/share/vx-img/flash-image.sh
@@ -438,6 +438,11 @@ if [[ $err == 1 ]]; then
     exit
 fi
 
+vxdev=0
+if echo "$_toflash" | grep -iF "vxdev"; then
+    vxdev=1
+fi
+
 echo "Flashing image" 
 echo "$_path/$_toflash"
 echo "to disk"
@@ -489,9 +494,8 @@ umount /mnt
 #    fi
 #fi
 
-# TODO make sure this works on every device
-
-if [ $_surface == 1 ]; then
+# If we're on a surface or a VxDev device, we don't do ESI. 
+if [[ $_surface == 1 || $vxdev == 1 ]]; then
     echo "adding a boot entry for Debian shim"
     efibootmgr \
         --create \