git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
Junio C Hamano <gitster@pobox.com>
Date
Dec 15, 2012, 18:02 UTC
Message-ID
<7vpq2btcqp.fsf@alter.siamese.dyndns.org>
In-Reply-To
<1355484219-7517-1-git-send-email-manlio.perillo@gmail.com>
Manlio Perillo <manlio.perillo@gmail.com> 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".

Previous: Manlio PerilloNext: Manlio Perillo
Message 2 of 7 in “git.c: add --index-file command-line option.”
  1. git.c: add --index-file command-line option.Manlio Perillo, Dec 14, 2012
  2. Junio C HamanoDec 15, 2012
  3. Manlio PerilloDec 15, 2012
  4. Junio C HamanoDec 15, 2012
  5. Manlio PerilloDec 15, 2012
  6. Junio C HamanoDec 16, 2012
  7. Manlio PerilloDec 16, 2012

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.