diff options
Diffstat (limited to 'meta/packages/initscripts/initscripts-1.0/devpts.sh')
| -rwxr-xr-x | meta/packages/initscripts/initscripts-1.0/devpts.sh | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/meta/packages/initscripts/initscripts-1.0/devpts.sh b/meta/packages/initscripts/initscripts-1.0/devpts.sh index 334cf63801..18202adcc7 100755 --- a/meta/packages/initscripts/initscripts-1.0/devpts.sh +++ b/meta/packages/initscripts/initscripts-1.0/devpts.sh | |||
| @@ -1,14 +1,16 @@ | |||
| 1 | #! /bin/sh | 1 | #! /bin/sh |
| 2 | ### BEGIN INIT INFO | ||
| 3 | # Provides: devpts | ||
| 4 | # Required-Start: udev | ||
| 5 | # Required-Stop: | ||
| 6 | # Default-Start: S | ||
| 7 | # Default-Stop: | ||
| 8 | # Short-Description: Mount /dev/pts file systems. | ||
| 9 | ### END INIT INFO | ||
| 2 | 10 | ||
| 3 | . /etc/default/devpts | 11 | . /etc/default/devpts |
| 4 | 12 | ||
| 5 | test "`uname -s`" = "Linux" || exit 0 | 13 | if grep -q devpts /proc/filesystems |
| 6 | |||
| 7 | # | ||
| 8 | # First find out if devpts is available. Also check if devfs | ||
| 9 | # is already mounted - in that case we don't want to use devpts. | ||
| 10 | # | ||
| 11 | if test ! -e /dev/.devfsd && ( grep -q devpts /proc/filesystems ) | ||
| 12 | then | 14 | then |
| 13 | # | 15 | # |
| 14 | # Create multiplexor device. | 16 | # Create multiplexor device. |
| @@ -18,11 +20,9 @@ then | |||
| 18 | # | 20 | # |
| 19 | # Mount /dev/pts if needed. | 21 | # Mount /dev/pts if needed. |
| 20 | # | 22 | # |
| 21 | if ( ! grep -q devpts /proc/mounts ) | 23 | if ! grep -q devpts /proc/mounts |
| 22 | then | 24 | then |
| 23 | mkdir -p /dev/pts | 25 | mkdir -p /dev/pts |
| 24 | mount -t devpts devpts /dev/pts -ogid=${TTYGRP},mode=${TTYMODE} | 26 | mount -t devpts devpts /dev/pts -ogid=${TTYGRP},mode=${TTYMODE} |
| 25 | fi | 27 | fi |
| 26 | fi | 28 | fi |
| 27 | |||
| 28 | exit 0 | ||
