diff options
-rwxr-xr-x | git/gc.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/git/gc.sh b/git/gc.sh new file mode 100755 index 0000000..c12be6f --- /dev/null +++ b/git/gc.sh @@ -0,0 +1,21 @@ +#! /bin/sh + +# Assume this script never run via PATH. +# +self=`realpath $0` +. `dirname $self`/modules + +wd=`pwd` + +for i in $modules; do + echo "gc $i" 1>&2 + cd $i + git gc + + if [ $? -ne 0 ]; then + echo "gc FAILED" 1>&2 + exit 1 + fi + + cd $wd +done |