diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-08-31 12:54:18 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-08-31 12:54:18 +0200 |
commit | e687343f1e3f1b7fa2fbbe7707b04328b2cd4162 (patch) | |
tree | b3e451a06184b40d13f819737046a76e99c3dbb0 | |
parent | de21e7b1a24481f2972fd69c4a09d67378ba0fb6 (diff) | |
download | bin-e687343f1e3f1b7fa2fbbe7707b04328b2cd4162.zip bin-e687343f1e3f1b7fa2fbbe7707b04328b2cd4162.tar.gz |
git-synk: simplify cleaning
-rwxr-xr-x | git-synk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -67,7 +67,7 @@ for gitdir in ${GIT_DIR}; do fail "KO" && continue fi # GC + CLEAN - echo -ne " ${CYAN}clean$RESET ... " && git prune && git gc --quiet && git repack >/dev/null && git diff --quiet && success + echo -ne " ${CYAN}clean$RESET ... " && git gc --prune --quiet && git repack >/dev/null && git diff --quiet && success if [ $? -ne 0 ]; then if [ "$action" = "push" ]; then success "dirty but " |