diff --git a/Documents/bin/git-deltemptree b/Documents/bin/git-deltemptree new file mode 100755 index 0000000000000000000000000000000000000000..2f44c0dc90ae37597a8af5d16e1b18a5e37444b7 --- /dev/null +++ b/Documents/bin/git-deltemptree @@ -0,0 +1,4 @@ +#!/bin/sh +set -eu + +git worktree list | awk '/^\/tmp\/tmp\./ {print $1}' | xargs -rn1 git worktree remove