1.1 --- a/user-do-root Sun Sep 27 13:43:03 2015 +0200
1.2 +++ b/user-do-root Sun Sep 27 13:43:41 2015 +0200
1.3 @@ -45,6 +45,7 @@
1.4 if [ ! -e "$PACKAGEROOT/dev" ] || rmdir "$PACKAGEROOT/dev" ; then
1.5 mkdir "$PACKAGEROOT/dev"
1.6 mount -o bind /dev "$PACKAGEROOT/dev"
1.7 + mount -o bind /dev/pts "$PACKAGEROOT/dev/pts"
1.8 else
1.9 echo "Devices may already be defined for the installation." 1>&2
1.10 fi
1.11 @@ -79,6 +80,7 @@
1.12 # files are present.
1.13
1.14 if [ "$FILENAME" = "$PACKAGEROOT/dev.userinstall.*" ]; then
1.15 + umount "$PACKAGEROOT/dev/pts"
1.16 umount "$PACKAGEROOT/dev" && rmdir "$PACKAGEROOT/dev"
1.17 if [ -e "$PACKAGEROOT/dev.orig" ] && [ ! -e "$PACKAGEROOT/dev" ]; then
1.18 mv "$PACKAGEROOT/dev.orig" "$PACKAGEROOT/dev"