diff options
Diffstat (limited to 'disk/eudev/init.d/devpts')
-rwxr-xr-x | disk/eudev/init.d/devpts | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/disk/eudev/init.d/devpts b/disk/eudev/init.d/devpts new file mode 100755 index 0000000000..949fb574c0 --- /dev/null +++ b/disk/eudev/init.d/devpts @@ -0,0 +1,26 @@ +#!/bin/bash +# this script is needed in order to create /dev/pts AFTER udevd has started + +PROGRAM=/bin/mount +RUNLEVEL=3 +NEEDS="udevd" + +. /etc/init.d/smgl_init + +start() +{ + if /usr/bin/grep -q /dev/pts /etc/fstab;then + /bin/mkdir -p /dev/pts && + /bin/mount /dev/pts && + evaluate_retval + fi +} + +stop() +{ + if /usr/bin/grep -q pts /etc/mtab;then + /bin/umount /dev/pts && + evaluate_retval + fi +} + |