1 #!/bin/sh 2 3 # Configuration: 4 if [ -e userinstall-defaults ]; then 5 . "$PWD/userinstall-defaults" 6 elif [ -e /etc/default/userinstall ]; then 7 . /etc/default/userinstall 8 else 9 echo "No defaults found for userinstall." 1>&2 10 exit 1 11 fi 12 13 mount -o bind /proc "$PACKAGEROOT/proc" 14 mount -o bind /sys "$PACKAGEROOT/sys" 15 if [ "$1" = '--dev' ]; then 16 DEV=$1 17 shift 1 18 if [ -e "$PACKAGEROOT/dev.orig" ]; then 19 echo "Devices may already be defined for the installation." 1>&2 20 else 21 if [ -e "$PACKAGEROOT/dev" ]; then 22 mv "$PACKAGEROOT/dev" "$PACKAGEROOT/dev.orig" 23 fi 24 if [ ! -e "$PACKAGEROOT/dev" ]; then 25 mkdir "$PACKAGEROOT/dev" 26 fi 27 mount -o bind /dev "$PACKAGEROOT/dev" 28 fi 29 fi 30 chroot "$PACKAGEROOT" $* 31 umount "$PACKAGEROOT/proc" 32 umount "$PACKAGEROOT/sys" 33 if [ "$DEV" ]; then 34 umount "$PACKAGEROOT/dev" 35 rmdir "$PACKAGEROOT/dev" 36 if [ -e "$PACKAGEROOT/dev.orig" ]; then 37 mv "$PACKAGEROOT/dev.orig" "$PACKAGEROOT/dev" 38 fi 39 fi