still finding fudge-up on startup
[feisty_meow.git] / scripts / rev_control / compact_git.sh
1 #!/bin/bash
2
3 prune_dir="$1"
4 if [ -z "$prune_dir" ]; then
5   prune_dir="$(pwd)"
6 fi
7 pushd "$prune_dir"
8 echo cleaning git in directory $(pwd)
9 git fsck --full
10 check_if_failed "git fsck"
11 git gc --prune=today --aggressive
12 check_if_failed "git gc"
13 git repack
14 check_if_failed "git repack"
15 popd