diff options
| -rwxr-xr-x | delete-files | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/delete-files b/delete-files new file mode 100755 index 0000000..0560725 --- /dev/null +++ b/delete-files @@ -0,0 +1,38 @@ +#!/bin/bash + +set -eu -o pipefail + +dev="$1" +dir="$2" +img="$3" + +echo +echo "unmount $dev" +sudo umount "$dev" || true + +echo +echo "unpack $img to $dev" +pv "$img" | unxz | sudo dd of="$dev" + +started="$(date +%s)" + +echo +echo "mount $dev on $dir" +sudo mount "$dev" "$dir" + +echo +echo "delete all files under $dir" +find "$dir" -mindepth 1 -delete + +echo +echo "unmount $dev" +sudo umount "$dev" + +ended="$(date +%s)" +duration=$(("$ended" - "$started")) + +echo +echo "seconds to delete: $duration" + +echo +echo "done" |