diff options
-rwxr-xr-x | init | 17 |
1 files changed, 2 insertions, 15 deletions
@@ -30,19 +30,6 @@ screen_init() { } -# -# Mounts the fakeroot from the kernel "root" param -# -mount_fakeroot() { - local rootdev=${1} - local fakeroot=${2} - shift && shift - local opts=(${@}) - - mount -o ro ${opts[@]} ${rootdev} ${fakeroot} -} - - log() { local lvl="${1}" local msg="${2}" @@ -191,14 +178,14 @@ main() { fi # Drop to interactive shell if requested - if [ "${INTERACTIVE}" == 1 ]; then + if [ "${INTERACTIVE}" -eq 1 ]; then log INFO "Interractive shell requested. Type 'exit' to continue boot sequence." /bin/bash --norc fi # Mount the fakeroot. log INFO "Mounting fakeroot" - mount_fakeroot ${ROOTDEV} ${fakeroot} ${MOUNTOPTS[@]} + mount -o ro ${MOUNTOPTS[@]} ${ROOTDEV} ${fakeroot} # Ensure switch_root will be possible for destination fakeroot if [ ! -f "${fakeroot}/sbin/init" ]; then |