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

Re: [PATCH V3] check-ignore: Add option to ignore index contents

From
Dave Williams <dave@opensourcesolutions.co.uk>
Date
Sep 6, 2013, 05:59 UTC
Message-ID
<20130906055955.GA12622@opensourcesolutions.co.uk>
In-Reply-To
<xmqqbo46hpk7.fsf@gitster.dls.corp.google.com>
On 15:27, Thu 05 Sep 13, Junio C Hamano wrote:
> Now the long option name is "--no-index", it makes me wonder if "-i"
> is a good synonym for it, and the longer I stare at it, the more
> certain I become convinced that it is a bad choice.
>

I had originally called it "--ignore-index" at which point "-i" made more sense!

Dave
Previous: Junio C HamanoNext: Junio C Hamano
Message 3 of 4 in “check-ignore: Add option to ignore index contents”
  1. check-ignore: Add option to ignore index contentsDave Williams, Sep 5, 2013
  2. Junio C HamanoSep 5, 2013
  3. Dave WilliamsSep 6, 2013
  4. Junio C HamanoSep 6, 2013

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.