- #!/usr/bin/bash
- set -e
- CHROOT_PATH=$(pwd)/bootstrap-chroot
- echo "Cleaning up chroot mounts..."
- umount $CHROOT_PATH/proc
- umount $CHROOT_PATH/sys
- umount $CHROOT_PATH/dev/pts
- umount $CHROOT_PATH/dev
- umount $CHROOT_PATH/run
- echo "Deleting chroot..."
- rm -fr bootstrap-chroot
- echo "Done";
|