Enforce bootpartition to be different from rootpartition

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
pguyot · May 5, 2023 · 0342b61 · 0342b61
1 parent e3c2a98
commit 0342b61
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 [ $rootpartition -eq $bootpartition ]; then
+        echo "Boot partition cannot be equal to root partition"
+        if [ $bootpartition -eq 1 ]; then
+            echo "Forgot to unset bootpartition ?"
+        fi
+        exit 1
+    fi
 else
     bootpartition=
 fi