Wrong prefix checking of global variables

Marc Glisse marc.glisse at inria.fr
Thu Feb 25 16:11:51 UTC 2016


On Mon, 8 Feb 2016, Pavel Kopyl wrote:

> Of course there are several ways how to make this check.
>
> But, selecting between
> "[[  ]]_gurkmacka" (SPACE+TAB)

I committed this version. Thanks for the report.

> and
> "[[[:blank:]]]_gurkmacka"
> it seems for me that the last solution is more clear.
>
> Any way, if there are no objections let's select and commit one of them.
>
>> "gurkmacka" means "cucumber sandwich"
> :-)
>
>
> Best regards,
> -Pavel
>
>
> On 01/26/2016 09:17 PM, Niels Möller wrote:
>> Marc Glisse <marc.glisse at inria.fr> writes:
>> 
>>> IIRC, \<\> is not a
>>> standard feature of grep but a GNU extension.
>> Maybe it's good enough to grep for " _gurkmacka", i.e., with a leading
>> space. Or maybe allow a TAB character too.
>> 
>> For non-swedish speakers, "gurkmacka" means "cucumber sandwich". ;-)
>> 
>> Regards,
>> /Niels

-- 
Marc Glisse


More information about the gmp-bugs mailing list