userinstall

Changeset

82:a15ebea7b3b6
2015-09-27 Paul Boddie raw files shortlog changelog graph Added /dev/pts to the bind-mounted filesystems.
user-do-root (file)
     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"