diff options
Diffstat (limited to 'src.etc/init.d')
| -rwxr-xr-x | src.etc/init.d/mountdevsubfs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src.etc/init.d/mountdevsubfs b/src.etc/init.d/mountdevsubfs index bb976c8..03c13e0 100755 --- a/src.etc/init.d/mountdevsubfs +++ b/src.etc/init.d/mountdevsubfs @@ -4,9 +4,9 @@ start() { log 'Mounting device file systems' [ -d /dev/pts ] || mkdir -m 0755 /dev/pts - if ! mount | grep -Fq ' /dev/pts '; then + if ! [ -e /dev/pts/ptmx ]; then mount -t devpts -o noexec,nosuid,gid=5,mode=0620 \ - devpts /dev/pts + devpts /dev/pts || return ${?} fi ln -sf /run/shm /dev/shm } @@ -14,8 +14,8 @@ start() stop() { log 'Unmounting device file systems' - if mount | grep -Fq ' /dev/pts '; then - umount /dev/pts + if [ -e /dev/pts/ptmx ]; then + umount /dev/pts || return ${?} fi rm -f /dev/shm } |