[lmi-commits] [lmi] master 5777e42 08/10: Don't mount /proc or /dev/pts if already mounted

[Greg Chicares]

branch: master
commit 5777e421511bdecee20ebb1c294bb2384632af71
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>

    Don't mount /proc or /dev/pts if already mounted
---
 lmi_setup_20.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lmi_setup_20.sh b/lmi_setup_20.sh
index ccf4649..acf4987 100755
--- a/lmi_setup_20.sh
+++ b/lmi_setup_20.sh
@@ -61,8 +61,8 @@ ln -s /bin/true /usr/bin/ischroot
 sed -e'/^[^#]/s/^/# SUPPRESSED # /' -i /etc/skel/.bash_logout
 
 # This being a "plain" schroot, mount essential directories:
-mount -t devpts -o rw,nosuid,noexec,relatime,mode=600 devpts /dev/pts
-mount -t proc -o rw,nosuid,nodev,noexec,relatime proc /proc
+mountpoint /dev/pts || mount -t devpts -o rw,nosuid,noexec,relatime,mode=600 
devpts /dev/pts
+mountpoint /proc    || mount -t proc -o rw,nosuid,nodev,noexec,relatime proc 
/proc
 
 # If the chroot is to be permanent, consider adding those mounts to /etc/fstab:
 #