diff options
| author | Julian Phillips <julian@quantumfyre.co.uk> | 2007-06-19 15:44:43 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-06-24 13:36:56 +0400 |
| commit | 09381b458f5f1ac1a78df1aaeeb53aa79fcf2c4f (patch) | |
| tree | c2155fe543e7578de3d16caf1790784ae7caafcf /contrib/workdir | |
| parent | f58494bf82c260bf8794b2744158d84fc242cbf0 (diff) | |
new-workdir: handle rev-parse --git-dir not always giving full path
rev-parse --git-dir outputs a full path - except for the single case
of when the path would be $(pwd)/.git, in which case it outputs simply
.git. Check for this special case and handle it.
Signed-off-by: Julian Phillips <julian@quantumfyre.co.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/workdir')
| -rwxr-xr-x | contrib/workdir/git-new-workdir | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/contrib/workdir/git-new-workdir b/contrib/workdir/git-new-workdir index f2a3615bbc..709b2a3ac0 100755 --- a/contrib/workdir/git-new-workdir +++ b/contrib/workdir/git-new-workdir @@ -24,6 +24,11 @@ git_dir=$(cd "$orig_git" 2>/dev/null && git rev-parse --git-dir 2>/dev/null) || die "\"$orig_git\" is not a git repository!" +if test "$git_dir" == ".git" +then + git_dir="$orig_git/.git" +fi + # don't link to a workdir if test -L "$git_dir/config" then |