--- 10clear_partitions.orig 2012-04-15 10:19:41.331592300 -0700 +++ 10clear_partitions 2012-04-15 10:20:14.219591988 -0700 @@ -79,6 +79,7 @@ db_set passwd/user-uid "$uid" || true fi fi + sleep 1 umount $tmp elif [ "$mp" = "/home" ]; then mount $path $tmp 3>&- || failed # Preserve the UID, if possible. @@ -90,6 +91,7 @@ db_set passwd/user-uid "$uid" || true fi fi + sleep 1 umount $tmp else case "$mp" in @@ -103,6 +105,7 @@ mount $path $tmp 3>&- || failed logger -t clear_partitions "Removing everything from $mp ($path)." rm -rf $tmp/* || failed + sleep 1 umount $tmp break fi