Re: git pull and GIT_DIR

From: bill lam <cbill.lam@gmail.com>
Date: May 2, 2012, 23:21 UTC
Message-ID: <20120502232102.GB2609@debian.b2j>
In-Reply-To: <7v62ceiejp.fsf@alter.siamese.dyndns.org>

It is non-bare and /path/to is the working tree. The git pull was run inside a shell and $(pwd) is $HOME. GIT_WORK_TREE is not used. This let me remember that there were some directories/files checkout under $HOME that should be under /path/to. I might recall incorrectly, but does it mean that it need to use the form

GIT_DIR=/path/to/.git GIT_WORK_TREE=/path/to git pull url

to make it to the samething as

cd /path/to && git pull url

-- 
regards,
====================================================
GPG key 1024D/4434BAB3 2008-08-24
gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3