git-prune: prune redundant packs

Signed-off-by: Junio C Hamano <junkio@cox.net>
git-mirror · Nov 12, 2005 · d7b1a1d · d7b1a1d
1 parent 1c3039e
commit d7b1a1d
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/git-prune.sh b/git-prune.sh
@@ -27,3 +27,14 @@ sed -ne '/unreachable /{
 }
 
 git-prune-packed $dryrun
+
+redundant=$(git-pack-redundant --all)
+if test "" != "$redundant"
+then
+	if test "" = $dryrun
+	then
+		echo "$redundant" | xargs rm -f
+	else
+		echo rm -f "$redundant"
+	fi
+fi