diff options
Diffstat (limited to 'src.etc/init.d/mountdevsubfs')
| -rwxr-xr-x | src.etc/init.d/mountdevsubfs | 30 |
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 |