From 2028fa439608fd5f069075a9f7955eb3cca5e831 Mon Sep 17 00:00:00 2001
From: "Jean (east-high-Nerd)" <jean@easthighnerd.net>
Date: Wed, 24 Dec 2025 16:28:55 -0500
Subject: [PATCH] Split off rbinding operations

---
 pre-inst.sh | 15 +--------------
 rbind.sh    | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+), 14 deletions(-)
 create mode 100644 rbind.sh

diff --git a/pre-inst.sh b/pre-inst.sh
index 525226f..55ded06 100755
--- 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"
 
diff --git a/rbind.sh b/rbind.sh
new file mode 100644
index 0000000..04d9b59
--- /dev/null
+++ 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