| #!/bin/bash | |
| function print_usage() | |
| { | |
| if [ -n "$2" ]; then | |
| echo "Error: $2" | |
| echo | |
| fi | |
| echo "Usage: $1 <scratch dir>" | |
| } | |
| scratch_dir=$1 | |
| if [ -z "$scratch_dir" ]; then | |
| print_usage "$0" 'Scratch dir not given' >&2 | |
| exit 1 | |
| fi | |
| cd "$scratch_dir/share" || exit 1 | |
| mps=(mnt*) | |
| mp_i=0 | |
| for mp in "${mps[@]}"; do | |
| mp_i=$((mp_i + 1)) | |
| printf "Unmounting %i/%i...\r" "$mp_i" "${#mps[@]}" | |
| sudo umount -R "$mp" | |
| done | |
| echo | |
| echo 'Done.' |