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