summaryrefslogtreecommitdiffstats
path: root/src.etc/init.d/mountdevsubfs
diff options
context:
space:
mode:
authorP. J. McDermott <pj@pehjota.net>2014-06-02 21:39:02 (EDT)
committer P. J. McDermott <pj@pehjota.net>2014-06-02 21:39:02 (EDT)
commitcc8a81cbfb50ff8a8367d77ef80bece937b6cbaf (patch)
tree1e3b0dd86ae85e1b7e39f1d8757e26562e8b98d9 /src.etc/init.d/mountdevsubfs
parentfa34a9d3c31f9c76c3ae431434a9fd831518e79a (diff)
Convert mount scripts to use /etc/rc.common.
Diffstat (limited to 'src.etc/init.d/mountdevsubfs')
-rwxr-xr-xsrc.etc/init.d/mountdevsubfs30
1 files changed, 5 insertions, 25 deletions
diff --git a/src.etc/init.d/mountdevsubfs b/src.etc/init.d/mountdevsubfs
index 5ef7235..bb976c8 100755
--- a/src.etc/init.d/mountdevsubfs
+++ b/src.etc/init.d/mountdevsubfs
@@ -1,41 +1,21 @@
-#!/bin/sh
+#!/bin/sh /etc/rc.common
start()
{
- printf 'Mounting device file systems... '
-
+ log 'Mounting device file systems'
[ -d /dev/pts ] || mkdir -m 0755 /dev/pts
if ! mount | grep -Fq ' /dev/pts '; then
- mount -t devpts -o noexec,nosuid,gid=5,mode=0620 devpts /dev/pts
+ mount -t devpts -o noexec,nosuid,gid=5,mode=0620 \
+ devpts /dev/pts
fi
-
ln -sf /run/shm /dev/shm
-
- printf 'done.\n'
}
stop()
{
- printf 'Unmounting device file systems... '
-
+ log 'Unmounting device file systems'
if mount | grep -Fq ' /dev/pts '; then
umount /dev/pts
fi
-
rm -f /dev/shm
-
- printf 'done.\n'
}
-
-case "${1}" in
- start)
- start
- ;;
- stop)
- stop
- ;;
- *)
- printf 'Usage: %s {start|stop}\n' "${0}" >&2
- exit 1
- ;;
-esac