diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2012-09-24 09:07:15 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2012-09-24 09:07:15 +0200 |
commit | f59f91c220ea92798238abb88f70e8e418cabaa7 (patch) | |
tree | 794f89239d924540b32f9cce6a9e2b6ca79579f8 | |
parent | d02bc58ef7a1c02b32c0040d8f04236110970bd8 (diff) |
-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 |