Subject: Re: [PATCH] git.c: add --index-file command-line option.

From: Manlio Perillo <[email-masked]>
Date: Sat, 15 Dec 2012 19:53:47 +0100

Il 15/12/2012 19:02, Junio C Hamano ha scritto:
> Manlio Perillo <[email-masked]> writes:
> 
>> Unlike other environment variables (e.g. GIT_WORK_TREE,
>> GIT_NAMESPACE), it was not possible to set the GIT_INDEX_FILE
>> environment variable using the command line.
> 
> Is this necessary?  I'd prefer to see a better reason than "just
> because others have it".

A long running program will be able to tell git to use an alternate
index file, without having to modify its own environment, or having to
use execvpe (I assume this is the reason why it is possible to specify
GIT_WORK_TREE from command line).

Regards  Manlio