# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1569358800 0
# Node ID 4088afe6988ed8dcf337133e44215c4b5ebb3c60
# Parent  f942ed650ab986979457905aa8938f9a6733bf13
core/rc: mount /dev/pts at boot

diff -r f942ed650ab9 -r 4088afe6988e core/rc/rc.init
--- a/core/rc/rc.init	Tue Sep 24 20:15:00 2019 +0200
+++ b/core/rc/rc.init	Tue Sep 24 21:00:00 2019 +0000
@@ -40,6 +40,12 @@
 	echo -n "/dev "
 fi
 
+if ! mountpoint /dev/pts >/dev/null 2>&1; then
+	mkdir -p /dev/pts 2>/dev/null
+	mount -t devpts devpts /dev/pts >/dev/null 2>&1
+	echo -n "/dev/pts "
+fi
+
 if ! mountpoint /proc >/dev/null 2>&1; then
 	mount -t proc proc /proc >/dev/null 2>&1
 	echo -n "/proc "
@@ -80,7 +86,7 @@
 	force="-f"
 fi
 
-fsck $force -A -T >/dev/null 2>&1
+fsck $force -A -T
 
 if [ "$?" -gt 1 ]; then
 	echo "* Filesystem check failed"
diff -r f942ed650ab9 -r 4088afe6988e core/rc/rc.networking
--- a/core/rc/rc.networking	Tue Sep 24 20:15:00 2019 +0200
+++ b/core/rc/rc.networking	Tue Sep 24 21:00:00 2019 +0000
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# /etc/rc.init -- basic networking script
+# /etc/rc.networking -- basic networking script
 #
 # Copyright (c) 2019 David Demelier <markand@malikania.fr>
 #
diff -r f942ed650ab9 -r 4088afe6988e core/rc/rc.sh
--- a/core/rc/rc.sh	Tue Sep 24 20:15:00 2019 +0200
+++ b/core/rc/rc.sh	Tue Sep 24 21:00:00 2019 +0000
@@ -22,6 +22,7 @@
 PKGSUMMARY="Vanilla Linux init scripts"
 PKGPROTECT="etc/rc.conf
             etc/rc.init
+            etc/rc.networking
             etc/rc.shutdown
             etc/rc.start"