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 | ||