diff options
Diffstat (limited to 'src.etc/init.d/mountdevsubfs')
| -rwxr-xr-x | 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 7e2fa87..5f44355 100755 --- 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 ' 2>&1 | :; then + if ! mount | grep -Fq ' /dev/pts '; 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 ' 2>&1 | :; then + if mount | grep -Fq ' /dev/pts '; then umount /dev/pts fi |