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

Re: [PATCH/RFC] grep: add a grep.patternType configuration setting

From
Štěpán Němec <stepnem@gmail.com>
Date
Aug 1, 2012, 22:19 UTC
Message-ID
<876292ntlo.fsf@gmail.com>
In-Reply-To
<7vpq7ae0pj.fsf@alter.siamese.dyndns.org>

On Wed, 01 Aug 2012 14:55:52 -0700 Junio C. Hamano wrote:

Show 11 quoted lines
> J Smith <dark.panda@gmail.com> writes:
>
>>  grep.extendedRegexp::
>> -	If set to true, enable '--extended-regexp' option by default.
>> +	If set to true, enable '--extended-regexp' option by default. This
>> +	option is ignored when the 'grep.patternType' option is set.
>
> We are not going to make grep.patternType a boolean, so "when ... is
> set" is fine, but if we were to allow grep.patternType to be set to
> "false", the description gives ambiguity to some readers who do.
> Perhaps s/is set/is given/ is safer.

I'm not a native speaker, but to me "is given" implies command line (the meaning is clear here, it just sounds a bit weird). If it's not just me, "is used" or "has a value" might be better.

-- 
Štěpán
Previous: Junio C HamanoNext: J Smith
Message 3 of 5 in “grep: add a grep.patternType configuration setting”
  1. grep: add a grep.patternType configuration settingJ Smith, Aug 1, 2012
  2. Junio C HamanoAug 1, 2012
  3. Štěpán NěmecAug 1, 2012
  4. J SmithAug 1, 2012
  5. J SmithAug 2, 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.