mirror of
https://github.com/git/git.git
synced 2024-05-22 01:36:09 +02:00
9106c097ad
This removes the unoptimization. The previous round does not mind missing fan-out directories, but still makes sure they exist, lest older versions choke on a repository created/packed by it. This round does not play that nicely anymore -- empty fan-out directories are not created by init-db, and will stay removed by prune-packed. The prune command also removes empty fan-out directories. Signed-off-by: Junio C Hamano <junkio@cox.net>
29 lines
536 B
Bash
Executable File
29 lines
536 B
Bash
Executable File
#!/bin/sh
|
|
|
|
. git-sh-setup || die "Not a git archive"
|
|
|
|
dryrun=
|
|
echo=
|
|
while case "$#" in 0) break ;; esac
|
|
do
|
|
case "$1" in
|
|
-n) dryrun=-n echo=echo ;;
|
|
--) break ;;
|
|
-*) echo >&2 "usage: git-prune [ -n ] [ heads... ]"; exit 1 ;;
|
|
*) break ;;
|
|
esac
|
|
shift;
|
|
done
|
|
|
|
git-fsck-objects --full --cache --unreachable "$@" |
|
|
sed -ne '/unreachable /{
|
|
s/unreachable [^ ][^ ]* //
|
|
s|\(..\)|\1/|p
|
|
}' | {
|
|
cd "$GIT_OBJECT_DIRECTORY" || exit
|
|
xargs $echo rm -f
|
|
rmdir 2>/dev/null [0-9a-f][0-9a-f]
|
|
}
|
|
|
|
git-prune-packed $dryrun
|