diff options
author | Alex Riesen <raa.lkml@gmail.com> | 2007-06-06 16:39:05 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-06-06 16:40:03 -0700 |
commit | defe13a24a254f19596b8008095829068e742f9c (patch) | |
tree | 2462c5e1b901c388613afc96c954fff7c67147ad /git-clone.sh | |
parent | 23fcdc79713c47a6a0d50762b9311c9933a60d3f (diff) | |
download | git-defe13a24a254f19596b8008095829068e742f9c.tar.gz |
Fix clone to setup the origin if its name ends with .git
The problem is visible when cloning a local repo. The cloned
repository will have the origin url setup incorrectly: the origin name
will be copied verbatim in origin url of the cloned repository.
Normally, the name is to be expanded into absolute path.
Signed-off-by: Alex Riesen <raa.lkml@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-clone.sh')
-rwxr-xr-x | git-clone.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-clone.sh b/git-clone.sh index fdd354f2da..d45618d9af 100755 --- a/git-clone.sh +++ b/git-clone.sh @@ -20,7 +20,7 @@ usage() { get_repo_base() { ( cd "`/bin/pwd`" && - cd "$1" && + cd "$1" || cd "$1.git" && { cd .git pwd |