From 4348681ac6462221a753b98ea9607ac00e7a3868 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pjm@nac.net>
Date: Tue, 13 Aug 2013 13:50:59 -0400
Subject: /etc/init.d/m*: Don't write to /dev/null.

---
(limited to 'src.etc/init.d/mountdevsubfs')

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
 
--
cgit v0.9.1