diff options
author | Matthias Lederhofer <matled@gmx.net> | 2007-07-04 00:49:19 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-07-04 12:53:30 -0700 |
commit | ef6f0af2b6975e6568542123d015aa7e39bea0c3 (patch) | |
tree | 8d60e5262fd24793ba491412d5c51fd22d3571d6 /Makefile | |
parent | f66a4d68d2066998605f5910c3c8dd1e4a25fc7f (diff) | |
download | git-ef6f0af2b6975e6568542123d015aa7e39bea0c3.tar.gz |
git-init: set core.worktree if GIT_WORK_TREE is specified
Now you can do the following to create a repository which
has a separate working tree:
/tmp/foo$ export GIT_DIR=/tmp/bar
/tmp/foo$ git --work-tree . init
Initialized empty Git repository in /tmp/bar/
/tmp/foo$ git config core.worktree
/tmp/foo
Signed-off-by: Matthias Lederhofer <matled@gmx.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions