summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/schroot-create.sh6
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