Skip to main content

Browse the archive

Revision 115f0fe49951b951495bdcd0420a44fb11c2173a authored by Shawn O. Pearce on 12 March 2007, 17:40:31 UTC, committed by Junio C Hamano on 12 March 2007, 18:44:46 UTC 
Don't package the git-gui credits file anymore
 
Since git-gui 0.6.4 the credits file is no longer produced.
This file was removed from git-gui due to build issues that
a lot of users and Git developers have reported running into.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
1 parent 3ed02de
Raw File
git-gc.sh 
#!/bin/sh
#
# Copyright (c) 2006, Shawn O. Pearce
#
# Cleanup unreachable files and optimize the repository.

USAGE='[--prune]'
SUBDIRECTORY_OK=Yes
. git-sh-setup

no_prune=:
while case $# in 0) break ;; esac
do
	case "$1" in
	--prune)
		no_prune=
		;;
	--)
		usage
		;;
	esac
	shift
done

case "$(git config --get gc.packrefs)" in
notbare|"")
	test $(is_bare_repository) = true || pack_refs=true;;
*)
	pack_refs=$(git config --bool --get gc.packrefs)
esac

test "true" != "$pack_refs" ||
git-pack-refs --prune &&
git-reflog expire --all &&
git-repack -a -d -l &&
$no_prune git-prune &&
git-rerere gc || exit
back to top