src.etc/init.d/mountdevsubfs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#!/bin/sh /etc/rc.common

start()
{
	log 'Mounting device file systems'
	[ -d /dev/pts ] || mkdir -m 0755 /dev/pts
	if ! [ -e /dev/pts/ptmx ]; then
		mount -t devpts -o noexec,nosuid,gid=5,mode=0620 \
			devpts /dev/pts || return ${?}
	fi
	ln -sf /run/shm /dev/shm
}

stop()
{
	log 'Unmounting device file systems'
	if [ -e /dev/pts/ptmx ]; then
		umount /dev/pts || return ${?}
	fi
	rm -f /dev/shm
}