commit | ef6f0af2b6975e6568542123d015aa7e39bea0c3 | [log] [tgz] |
---|---|---|
author | Matthias Lederhofer <matled@gmx.net> | Wed Jul 04 00:49:19 2007 +0200 |
committer | Junio C Hamano <gitster@pobox.com> | Wed Jul 04 12:53:30 2007 -0700 |
tree | 8d60e5262fd24793ba491412d5c51fd22d3571d6 | |
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>