1
0
mirror of https://github.com/git/git.git synced 2024-10-06 23:51:24 +02:00
git/git-sh-setup-script

17 lines
281 B
Plaintext
Raw Normal View History

#!/bin/sh
#
# Set up GIT_DIR and GIT_OBJECT_DIRECTORY
# and return true if everything looks ok
#
: ${GIT_DIR=.git}
: ${GIT_OBJECT_DIRECTORY="$GIT_DIR/objects"}
die() {
echo "$@" >&2
exit 1
}
[ -h "$GIT_DIR/HEAD" ] &&
[ -d "$GIT_DIR/refs" ] &&
[ -d "$GIT_OBJECT_DIRECTORY/00" ]