diff options
| author | Andreas Ericsson <exon@op5.se> | 2005-11-10 12:58:08 +0100 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-11 01:34:26 -0800 |
| commit | 0879aa28708dcdfa255fff631781e5178755498e (patch) | |
| tree | 3b8f42543c1d6846edd2b005f99609d202ac0a96 /git-clone.sh | |
| parent | 0867b0125a7b0ed02c7850486393c56ae8a719e3 (diff) | |
| download | git-0879aa28708dcdfa255fff631781e5178755498e.tar.gz | |
git-clone: Keep remote names when cloning unless explicitly told not to.
With this patch the following commands all clone into the local directory
"repo". If repo exists, it will still barf.
git-clone git://host.xz/repo.git
git-clone /path/to/repo/.git
git-clone host.xz:repo.git
I ended up doing the same source-to-target sed'ing for all our company
projects, so it was easier to add it directly to git-clone.
Signed-off-by: Andreas Ericsson <ae@op5.se>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-clone.sh')
| -rwxr-xr-x | git-clone.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/git-clone.sh b/git-clone.sh index f5ef70b8af..8e7150127a 100755 --- a/git-clone.sh +++ b/git-clone.sh @@ -96,6 +96,8 @@ if base=$(get_repo_base "$repo"); then fi dir="$2" +# Try using "humanish" part of source repo if user didn't specify one +[ -z "$dir" ] && dir=$(echo "$repo" | sed -e 's|/$||' -e 's|:*/*\.git$||' -e 's|.*/||g') mkdir "$dir" && D=$( (cd "$dir" && git-init-db && pwd) |