-----BEGIN PGP SIGNED MESSAGE-----
Il 15/12/2012 20:36, Junio C Hamano ha scritto:
>>>> 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,...
> Hrm, isn't that the single-shot environment export syntax
> GIT_INDEX_FILE=foo git blah
> is for? Is there a real-world need for this?
This works with a shell.
I'm using Python to write a custom git command.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
-----END PGP SIGNATURE-----
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html