From f280984f691e0c3cbca2b31dad7a32a5c66ab51b Mon Sep 17 00:00:00 2001
From: Harald Hoyer <harald@redhat.com>
Date: Tue, 5 Oct 2010 12:36:37 +0200
Subject: add systemd services

---
 rc.d/rcS.d/080-devpts.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 rc.d/rcS.d/080-devpts.sh

(limited to 'rc.d/rcS.d/080-devpts.sh')

diff --git a/rc.d/rcS.d/080-devpts.sh b/rc.d/rcS.d/080-devpts.sh
new file mode 100755
index 00000000..d2fa937a
--- /dev/null
+++ b/rc.d/rcS.d/080-devpts.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+# Check SELinux status
+SELINUX_STATE=
+if [ -e "/selinux/enforce" ] && [ "$(cat /proc/self/attr/current)" != "kernel" ]; then
+	if [ -r "/selinux/enforce" ] ; then
+		SELINUX_STATE=$(cat "/selinux/enforce")
+	else
+		# assume enforcing if you can't read it
+		SELINUX_STATE=1
+	fi
+fi
+
+mount -n /dev/pts >/dev/null 2>&1
+[ -n "$SELINUX_STATE" ] && restorecon /dev/pts >/dev/null 2>&1
+:
-- 
cgit v1.2.1