diff --git a/admin/git-mrproper.sh b/admin/git-mrproper.sh new file mode 100755 index 000000000..46184161a --- /dev/null +++ b/admin/git-mrproper.sh @@ -0,0 +1,11 @@ +#!/bin/sh +if test "$1" = "yes"; then + git ls-files -o | xargs rm -f +else + ( + echo "'git-mrproper.sh yes'" + echo "would delete following files:" + echo + git ls-files -o | while read file; do echo " $file"; done + ) | less +fi