diff options
Diffstat (limited to 'sh.Linux')
| -rwxr-xr-x | sh.Linux/init.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sh.Linux/init.sh b/sh.Linux/init.sh index e9fd98ba..bc4fd9d7 100755 --- a/sh.Linux/init.sh +++ b/sh.Linux/init.sh @@ -199,7 +199,7 @@ fi # Mount the new fancy pants /dev/pts whenever possible if grep -Eq "[[:space:]]+devpts$" /proc/filesystems && \ - ! mountinfo /dev/pts > /dev/null ; then + ! mountinfo -q /dev/pts ; then if [ ! -d /dev/pts ] && \ [ "${devfs}" = "yes" -o "${udev}" = "yes" ] ; then # Make sure we have /dev/pts |