diff options
| author | Roy Marples <roy@marples.name> | 2007-09-03 14:02:15 +0000 |
|---|---|---|
| committer | Roy Marples <roy@marples.name> | 2007-09-03 14:02:15 +0000 |
| commit | 52f7df0d0c36be3d92c67f46a0f9433b0150ccf4 (patch) | |
| tree | 2530c6db89be6741140cbde3ad62617f066c4df4 /sh.Linux | |
| parent | a16695853725ea55b68732071f1d2d54c4ef51cf (diff) | |
Add --quiet to mountinfo
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 |