diff options
| author | P. 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) |
| commit | cc8a81cbfb50ff8a8367d77ef80bece937b6cbaf (patch) | |
| tree | 1e3b0dd86ae85e1b7e39f1d8757e26562e8b98d9 /src.etc/init.d/mountdevsubfs | |
| parent | fa34a9d3c31f9c76c3ae431434a9fd831518e79a (diff) | |
Convert mount scripts to use /etc/rc.common.
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 |