diff options
| author | Matthias Lederhofer <matled@gmx.net> | 2007-07-04 02:49:19 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-04 23:53:30 +0400 |
| commit | ef6f0af2b6975e6568542123d015aa7e39bea0c3 (patch) | |
| tree | 8d60e5262fd24793ba491412d5c51fd22d3571d6 /git-checkout.sh | |
| parent | f66a4d68d2066998605f5910c3c8dd1e4a25fc7f (diff) | |
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 'git-checkout.sh')
0 files changed, 0 insertions, 0 deletions