diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-01-01 14:45:07 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-01-01 14:45:07 +0100 |
| commit | 3ab572ef870b7e5f6b1c4c1fe6b1fe358ed089ae (patch) | |
| tree | c0340f372ce2025055ffc2369b19331550b66361 /bin/schroot-create.sh | |
| parent | 2c928b76a3a030346415952c40ca86c88f4465ad (diff) | |
| download | jenkins.debian.net-3ab572ef870b7e5f6b1c4c1fe6b1fe358ed089ae.tar.xz | |
umount in reverse order
Diffstat (limited to 'bin/schroot-create.sh')
| -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 |