From a753f245b085d1f2e213e0b4d66c8041a3a0d4b7 Mon Sep 17 00:00:00 2001
From: Michael Prokop <mika@grml.org>
Date: Fri, 14 Dec 2018 09:37:33 +0100
Subject: [PATCH] grml-chroot: iff /proc/cmdline exists don't try to mount
 again

There's no point in mounting /proc, /sys, /dev + /dev/pts
once again if it's mounted already. The easiest and cheapest
way to detect this is looking for file /proc/cmdline. If
/proc/cmdline exists assume that the chroot has the filesystems
mounted already.

Closes: https://github.com/grml/grml-scripts/issues/4
---
 usr_sbin/grml-chroot | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/usr_sbin/grml-chroot b/usr_sbin/grml-chroot
index 6e292d5..a894e39 100755
--- a/usr_sbin/grml-chroot
+++ b/usr_sbin/grml-chroot
@@ -90,10 +90,15 @@ if [ ! -d "$DEST_" ]; then
 fi
 
 
-mountit "proc"  "proc"
-mountit "sysfs" "sys"
-mountit "/dev"   "dev"   "--bind"
-mountit "devpts" "dev/pts"
+
+if [ -f "$DEST_"/proc/cmdline ] ; then
+    echo "Looks like $DEST_ already has filesystems mounted, skipping."
+else
+    mountit "proc"  "proc"
+    mountit "sysfs" "sys"
+    mountit "/dev"   "dev"   "--bind"
+    mountit "devpts" "dev/pts"
+fi
 
 WROTE_DEBIAN_CHROOT=""
 if [ ! -f "$DEST_"/etc/debian_chroot ]; then
-- 
2.1.4