# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1443354221 -7200
# Node ID a15ebea7b3b614fc813a80ed783aa30eda9538dd
# Parent  18d23c811e644ca4aef85843fa2de385fdd7ee0a
Added /dev/pts to the bind-mounted filesystems.

diff -r 18d23c811e64 -r a15ebea7b3b6 user-do-root
--- a/user-do-root	Sun Sep 27 13:43:03 2015 +0200
+++ b/user-do-root	Sun Sep 27 13:43:41 2015 +0200
@@ -45,6 +45,7 @@
         if [ ! -e "$PACKAGEROOT/dev" ] || rmdir "$PACKAGEROOT/dev" ; then
                 mkdir "$PACKAGEROOT/dev"
                 mount -o bind /dev "$PACKAGEROOT/dev"
+                mount -o bind /dev/pts "$PACKAGEROOT/dev/pts"
         else
                 echo "Devices may already be defined for the installation." 1>&2
         fi
@@ -79,6 +80,7 @@
                 # files are present.
 
                 if [ "$FILENAME" = "$PACKAGEROOT/dev.userinstall.*" ]; then
+                        umount "$PACKAGEROOT/dev/pts"
                         umount "$PACKAGEROOT/dev" && rmdir "$PACKAGEROOT/dev"
                         if [ -e "$PACKAGEROOT/dev.orig" ] && [ ! -e "$PACKAGEROOT/dev" ]; then
                                 mv "$PACKAGEROOT/dev.orig" "$PACKAGEROOT/dev"