Enforce bootpartition to be different from rootpartition (#76)

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
pguyot · Aug 26, 2023 · 8b6c7c1 · 8b6c7c1
1 parent 973ce28
commit 8b6c7c1
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/mount_image.sh b/mount_image.sh
@@ -8,6 +8,13 @@ rootpartition=$4
 
 if [ $# -ge 5 ]; then
     bootpartition=$5
+    if [ "x$rootpartition" = "x$bootpartition" ]; then
+        echo "Boot partition cannot be equal to root partition"
+        if [ "x$bootpartition" = "x1" ]; then
+            echo "Forgot to unset bootpartition ?"
+        fi
+        exit 1
+    fi
 else
     bootpartition=
 fi