diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-07-18 15:50:19 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-07-18 15:50:19 +0200 |
commit | aa3b765c15aec711d032472ffd57f712bee19480 (patch) | |
tree | 23d408aaae342bbacb329e0986e89c02dd35f1b7 | |
parent | 7b40892ada15885b8a05438957f94a341a169375 (diff) | |
download | bin-aa3b765c15aec711d032472ffd57f712bee19480.zip bin-aa3b765c15aec711d032472ffd57f712bee19480.tar.gz |
git-synk: silent git repack
-rwxr-xr-x | git-synk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,7 +46,7 @@ for gitdir in ${GIT_DIR}; do echo -e "${RED}KO${RESET}" && cd .. && continue fi # GC + CLEAN - echo -ne " ${CYAN}clean$RESET ... " && git prune && git gc --quiet && git repack && git diff --quiet && echo -e "${GREEN}OK${RESET}" + echo -ne " ${CYAN}clean$RESET ... " && git prune && git gc --quiet && git repack >/dev/null && git diff --quiet && echo -e "${GREEN}OK${RESET}" if [ $? -ne 0 ]; then if [ "$action" = "push" ]; then echo -e "dirty but ${GREEN}OK${RESET}" |