diff options
Diffstat (limited to 'src.etc/init.d/mountdevsubfs')
| -rw-r--r-- | src.etc/init.d/mountdevsubfs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src.etc/init.d/mountdevsubfs b/src.etc/init.d/mountdevsubfs index 14e82a3..7e2fa87 100644 --- a/src.etc/init.d/mountdevsubfs +++ b/src.etc/init.d/mountdevsubfs @@ -5,7 +5,7 @@ start() printf 'Mounting device file systems... ' [ -d /dev/pts ] || mkdir -m 0755 /dev/pts - if ! mount | grep -F ' /dev/pts ' >dev/null 2>&1; then + if ! mount | grep -F ' /dev/pts ' 2>&1 | :; then mount -t devpts -o noexec,nosuid,gid=5,mode=0620 devpts /dev/pts fi @@ -18,7 +18,7 @@ stop() { printf 'Unmounting device file systems... ' - if mount | grep -F ' /dev/pts ' >dev/null 2>&1; then + if mount | grep -F ' /dev/pts ' 2>&1 | :; then umount /dev/pts fi |