diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-08-13 13:50:59 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-08-13 13:50:59 (EDT) |
| commit | 4348681ac6462221a753b98ea9607ac00e7a3868 (patch) | |
| tree | 77d88714798ae9460549d896d7bb2806f04259ed /src.etc/init.d/mountdevsubfs | |
| parent | 3b5cacf7f24d8c1a294a49ba55e5ca968274e5cf (diff) | |
/etc/init.d/m*: Don't write to /dev/null.
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 |