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
22
23
24

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

START='10'
STOP='90'

start()
{
	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
	fi
	ln -sf /run/shm /dev/shm
}

stop()
{
	log 'Unmounting device file systems'
	if mount | grep -Fq ' /dev/pts '; then
		umount /dev/pts
	fi
	rm -f /dev/shm
}