Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Fix generation of "humanish" part of source repo
author
Uwe Zeisberger
<zeisberg@informatik.uni-freiburg.de>
Fri, 20 Jan 2006 06:47:39 +0000
(07:47 +0100)
committer
Junio C Hamano
<junkio@cox.net>
Fri, 20 Jan 2006 07:24:34 +0000
(23:24 -0800)
If repo has the form <host>:<path> and <path> doesn't contain a slash, the
cloned repository is named "<host>:<path>", instead of "<path>" only.
Signed-off-by: Uwe Zeisberger <zeisberg@informatik.uni-freiburg.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-clone.sh
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
2fabd21
)
diff --git
a/git-clone.sh
b/git-clone.sh
index 168eb963ba7a611860e6272bf419f09e8ff33929..ded40856c53cd03e1f6f72736c41592b7a2452e5 100755
(executable)
--- a/
git-clone.sh
+++ b/
git-clone.sh
@@
-99,7
+99,7
@@
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')
+[ -z "$dir" ] && dir=$(echo "$repo" | sed -e 's|/$||' -e 's|:*/*\.git$||' -e 's|.*
[/:]
||g')
[ -e "$dir" ] && echo "$dir already exists." && usage
mkdir -p "$dir" &&
D=$(cd "$dir" && pwd) &&