diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2007-09-03 03:10:42 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2007-09-03 03:10:42 +0000 |
| commit | a16695853725ea55b68732071f1d2d54c4ef51cf (patch) | |
| tree | cbadd827bbcbedb8c80e16e0a41b49cad2901008 /sh.Linux | |
| parent | 2a1e0c1d8d890a09be8b1864c5a3744ae12b09e6 (diff) | |
Always attempt to mount /dev/pts when devpts is available as it may appear in some 2.4 setups.
Diffstat (limited to 'sh.Linux')
| -rwxr-xr-x | sh.Linux/init.sh | 30 |
1 files changed, 14 insertions, 16 deletions
diff --git a/sh.Linux/init.sh b/sh.Linux/init.sh index 48ddf548..e9fd98ba 100755 --- a/sh.Linux/init.sh +++ b/sh.Linux/init.sh @@ -197,23 +197,21 @@ else done fi -# From linux-2.6 we need to mount /dev/pts again ... -if [ "${RC_UNAME}" != "GNU/kFreeBSD" -a "${K26}" = "0" ] ; then - if grep -Eq "[[:space:]]+devpts$" /proc/filesystems && \ - ! mountinfo /dev/pts > /dev/null ; then - if [ ! -d /dev/pts ] && \ - [ "${devfs}" = "yes" -o "${udev}" = "yes" ] ; then - # Make sure we have /dev/pts - mkdir -p /dev/pts >/dev/null 2>/dev/null || \ - ewarn "Could not create /dev/pts!" - fi +# Mount the new fancy pants /dev/pts whenever possible +if grep -Eq "[[:space:]]+devpts$" /proc/filesystems && \ + ! mountinfo /dev/pts > /dev/null ; then + if [ ! -d /dev/pts ] && \ + [ "${devfs}" = "yes" -o "${udev}" = "yes" ] ; then + # Make sure we have /dev/pts + mkdir -p /dev/pts >/dev/null 2>/dev/null || \ + ewarn "Could not create /dev/pts!" + fi - if [ -d /dev/pts ] ; then - ebegin "Mounting devpts at /dev/pts" - mntcmd="$(fstabinfo --mountcmd /dev/pts)" - try mount -n ${mntcmd:--t devpts -o gid=5,mode=0620,noexec,nosuid devpts /dev/pts} - eend $? - fi + if [ -d /dev/pts ] ; then + ebegin "Mounting devpts at /dev/pts" + mntcmd="$(fstabinfo --mountcmd /dev/pts)" + try mount -n ${mntcmd:--t devpts -o gid=5,mode=0620,noexec,nosuid devpts /dev/pts} + eend $? fi fi |