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

Re: [PATCH] config: add --repository option

From
Sverre Rabbelier <srabbelier@gmail.com>
Date
Jun 2, 2009, 16:38 UTC
Message-ID
<fabb9a1e0906020938h73a49ecbr5a7c78e30c8ec6d7@mail.gmail.com>
In-Reply-To
<7vskiifyd5.fsf@alter.siamese.dyndns.org>
Heya,
On Tue, Jun 2, 2009 at 17:29, Junio C Hamano <gitster@pobox.com> wrote:
> I somehow think --repository is much harder to type than --local, and in
> the context of the command, somehow --local would mesh better with other
> existing options --system and --global, but that comment falls into the
> bikeshedding category.

Ha! I had --local at first, but then figured that might be confusing since 'local' usually refers to 'on my machine', rather than 'in this repository'. I'm fine with either.

-- 
Cheers,

Sverre Rabbelier
Previous: Junio C Hamano
Message 4 of 4 in “config: add --repository option”
  1. config: add --repository optionSverre Rabbelier, May 9, 2009
  2. Nanako ShiraishiJun 2, 2009
  3. Junio C HamanoJun 2, 2009
  4. Sverre RabbelierJun 2, 2009

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.