summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJérémy Zurcher <jeremy@asynk.ch>2011-07-18 09:13:53 +0200
committerJérémy Zurcher <jeremy@asynk.ch>2011-07-18 09:13:53 +0200
commit16f3a8f7e16284e9982d9fbffd44a06d6dad448e (patch)
tree6619167fbc380fa761c4603eed3e999a876b1940
parent1496b766423b84aaa54c4efe6dc2ad99cc9aedbd (diff)
downloadbin-16f3a8f7e16284e9982d9fbffd44a06d6dad448e.zip
bin-16f3a8f7e16284e9982d9fbffd44a06d6dad448e.tar.gz
git-synk: use git prune gc and repack when cleaning repo
-rwxr-xr-xgit-synk2
1 files changed, 1 insertions, 1 deletions
diff --git a/git-synk b/git-synk
index 4a8b9e4..2d3f9f7 100755
--- a/git-synk
+++ b/git-synk
@@ -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 gc 2>/dev/null && git diff --quiet && echo -e "${GREEN}OK${RESET}"
+ echo -ne " ${CYAN}clean$RESET ... " && git prune && git gc --quiet && git repack && git diff --quiet && echo -e "${GREEN}OK${RESET}"
if [ $? -ne 0 ]; then
if [ "$action" = "push" ]; then
echo -e "dirty but ${GREEN}OK${RESET}"