1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-06-01 03:06:30 +02:00
git/git-fetch-script
Linus Torvalds f03f2ba0a5 Work around git-http-pull breakage in git-fetch-script
Need to add a final slash.  And make it verbose by default, since it's
so slow that otherwise people will think it's died.
2005-07-05 12:02:10 -07:00

34 lines
812 B
Bash
Executable File

#!/bin/sh
#
destination=FETCH_HEAD
merge_repo=$1
merge_name=${2:-HEAD}
if [ "$2" = "tag" ]; then
merge_name="refs/tags/$3"
destination="$merge_name"
fi
: ${GIT_DIR=.git}
: ${GIT_OBJECT_DIRECTORY="${SHA1_FILE_DIRECTORY-"$GIT_DIR/objects"}"}
TMP_HEAD="$GIT_DIR/TMP_HEAD"
case "$merge_repo" in
http://*)
head=$(wget -q -O - "$merge_repo/$merge_name") || exit 1
echo Fetching $head using http
git-http-pull -v -a "$head" "$merge_repo/"
;;
rsync://*)
rsync -L "$merge_repo/$merge_name" "$TMP_HEAD" || exit 1
head=$(git-rev-parse TMP_HEAD)
rm -f "$TMP_HEAD"
rsync -avz --ignore-existing "$merge_repo/objects/" "$GIT_OBJECT_DIRECTORY/"
;;
*)
head=$(git-fetch-pack "$merge_repo" "$merge_name")
;;
esac || exit 1
git-rev-parse --verify "$head" > /dev/null || exit 1
echo "$head" > "$GIT_DIR/$destination"