blob: bb976c8473b3cd23736d423c8c7df9a160490a82 (
plain)
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 ! 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
}
|
