From 3b5cacf7f24d8c1a294a49ba55e5ca968274e5cf Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pjm@nac.net>
Date: Tue, 13 Aug 2013 13:45:31 -0400
Subject: /etc/init.d/mountdevsubfs: New script.

---
(limited to 'src.etc/init.d')

diff --git a/src.etc/init.d/mountdevsubfs b/src.etc/init.d/mountdevsubfs
new file mode 100644
index 0000000..14e82a3
--- /dev/null
+++ b/src.etc/init.d/mountdevsubfs
@@ -0,0 +1,39 @@
+#!/bin/sh
+
+start()
+{
+	printf 'Mounting device file systems... '
+
+	[ -d /dev/pts ] || mkdir -m 0755 /dev/pts
+	if ! mount | grep -F ' /dev/pts ' >dev/null 2>&1; then
+		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... '
+
+	if mount | grep -F ' /dev/pts ' >dev/null 2>&1; then
+		umount /dev/pts
+	fi
+
+	printf 'done.\n'
+}
+
+case "${1}" in
+	start)
+		start
+		;;
+	stop)
+		stop
+		;;
+	*)
+		printf 'Usage: %s {start|stop}\n' "${0}" >&2
+		exit 1
+		;;
+esac
--
cgit v0.9.1