Split off rbinding operations

2025-12-24 16:28:55 -05:00
parent 637f5b69db
commit 2028fa4396
2 changed files with 19 additions and 14 deletions
--- a/pre-inst.sh
+++ b/pre-inst.sh
@@ -129,20 +129,7 @@ elif [[ "${ID}" == 'debian' ]]; then
 	"${baseDir}/debian.sh" --sources
 fi

-mount \
-	--rbind \
-	/dev \
-	/mnt/dev
-
-mount \
-	--rbind \
-	/proc \
-	/mnt/proc
-
-mount \
-	--rbind \
-	/sys \
-	/mnt/sys
+"${baseDir}/rbind.sh"

 "${baseDir}/host-id.sh"

--- a/rbind.sh
+++ b/rbind.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+set -euo pipefail
+
+
+mount \
+	--rbind \
+	/dev \
+	/mnt/dev
+
+mount \
+	--rbind \
+	/proc \
+	/mnt/proc
+
+mount \
+	--rbind \
+	/sys \
+	/mnt/sys