From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 03 Oct 2012 20:18:56 GMT
Subject: grep.patternType (was: Re: [ANNOUNCE] Git v1.8.0-rc0)
Message-ID: <7v626r48cv.fsf@alter.siamese.dyndns.org>
In-Reply-To: <7vwqz9ak2f.fsf@alter.siamese.dyndns.org>

Junio C Hamano <gitster@pobox.com> writes:

>  * "git grep" learned to use a non-standard pattern type by default if
>    a configuration variable tells it to.

This addition makes

    git grep -e "(integer|buffer)"

work as expected, when grep.patternType is set to "extended".

Should this

    git log --grep="(integer|buffer)"

also honor the same configuration variable?  If not, why not?

One more thing.  Currently you can say

    git log -E --grep="(integer|buffer)"

to ask for the ERE.  Should we also support -P to ask for pcre?  If
not, why not?