diff options
| author | Josef Weidendorfer <Josef.Weidendorfer@gmx.de> | 2005-11-10 14:12:19 +0100 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-10 15:57:56 -0800 |
| commit | 66c9ec25553ce7332c46e2017b9c4d7c26310fff (patch) | |
| tree | e47910c09e5fdc71577079832d2fe852696b781a /git-fetch.sh | |
| parent | ad7db62113368279a1b6994790bf30925fabea33 (diff) | |
| download | git-66c9ec25553ce7332c46e2017b9c4d7c26310fff.tar.gz | |
Let git-clone/git-fetch follow HTTP redirections
Otherwise, git-clone silently failed to clone a remote
repository where redirections (ie. a response with a
"Location" header line) are used.
This includes the fixes from Nick Hengeveld.
Signed-off-by: Josef Weidendorfer <Josef.Weidendorfer@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-fetch.sh')
| -rwxr-xr-x | git-fetch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-fetch.sh b/git-fetch.sh index 31e5f4c722..8564cbfd7a 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -230,7 +230,7 @@ do $u =~ s{([^-a-zA-Z0-9/.])}{sprintf"%%%02x",ord($1)}eg; print "$u"; ' "$remote_name") - head=$(curl -nsf $curl_extra_args "$remote/$remote_name_quoted") && + head=$(curl -nsfL $curl_extra_args "$remote/$remote_name_quoted") && expr "$head" : "$_x40\$" >/dev/null || die "Failed to fetch $remote_name from $remote" echo >&2 Fetching "$remote_name from $remote" using http |