1
0
mirror of https://github.com/git/git.git synced 2024-09-23 23:41:47 +02:00
git/git-sh-setup-script

18 lines
307 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
}
[ -d "$GIT_DIR" ] &&
[ -d "$GIT_DIR/refs" ]
[ -d "$GIT_OBJECT_DIRECTORY" ] &&
[ -d "$GIT_OBJECT_DIRECTORY/00" ]