diff options
| -rwxr-xr-x | bin/schroot-create.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh index 7f48ae70..0d20be6f 100755 --- a/bin/schroot-create.sh +++ b/bin/schroot-create.sh @@ -57,12 +57,12 @@ bootstrap() { sudo chroot $CHROOT_TARGET apt-get update if [ -n "$1" ] ; then - DEVICES="proc dev dev/pts" - for d in $DEVICES ; do + for d in proc dev dev/pts ; do sudo mount --bind /$d $CHROOT_TARGET/$d done sudo chroot $CHROOT_TARGET apt-get install -y --no-install-recommends "$@" - for d in $DEVICES ; do + # umount in reverse order + for d in dev/pts dev proc ; do sudo umount -l $CHROOT_TARGET/$d done fi |