grep.patternType (was: Re: [ANNOUNCE] Git v1.8.0-rc0)
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 3, 2012, 20:18 UTC
- 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?