3
# Provides: mountdevsubfs
4
# Required-Start: mountkernfs
9
# Short-Description: Mount special file systems under /dev.
10
# Description: Mount the virtual filesystems the kernel provides
11
# that ordinarily live under the /dev filesystem.
14
# This script gets called multiple times during boot
17
PATH=/lib/init:/sbin:/bin
20
[ -f /etc/default/devpts ] && . /etc/default/devpts
23
[ -f /etc/default/tmpfs ] && . /etc/default/tmpfs
27
. /lib/lsb/init-functions
28
. /lib/init/mount-functions.sh
32
# Mount a tmpfs on /dev/shm
35
[ "${SHM_SIZE:=$TMPFS_SIZE}" ] && SHM_OPT=",size=$SHM_SIZE"
36
domount tmpfs shmfs /dev/shm tmpfs -onosuid,nodev$SHM_OPT
39
# Mount /dev/pts. Master ptmx node is already created by udev.
41
domount devpts "" /dev/pts devpts -onoexec,nosuid,gid=$TTYGRP,mode=$TTYMODE
46
echo "Warning: mountdevsubfs should be called with the 'start' argument." >&2
52
restart|reload|force-reload)
53
echo "Error: argument '$1' not supported" >&2
60
echo "Usage: mountdevsubfs [start|stop]" >&2