Re: [PATCH] git.c: add --index-file command-line option.
- From
Manlio Perillo <manlio.perillo@gmail.com>
- Date
- Dec 15, 2012, 22:01 UTC
- Message-ID
- <50CCF324.5060802@gmail.com>
- In-Reply-To
- <7vliczrttq.fsf@alter.siamese.dyndns.org>
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Il 15/12/2012 20:36, Junio C Hamano ha scritto:
Show 17 quoted lines
> [...] >>>> 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.
Regards Manlio -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAlDM8yQACgkQscQJ24LbaUTftQCbBC7D9P7Sqlr9GzWuCIcIHPf2 aQcAn13+d4trLZS4izGvZtoaopMav4nV =vfb6 -----END PGP SIGNATURE-----