Den 2011-03-01 06:12 skrev Ralf Wildenhues:
> * Peter Rosin wrote on Mon, Feb 28, 2011 at 10:01:35PM CET:
>> Den 2011-02-28 21:36 skrev Ralf Wildenhues:
>>> It would be nice your sed script would allow sed scripts like
>>>   s/#//
>>>   s/ #//
>>>
>>> to continue to work.  But if they don't, for now, that's not a big
>>> problem either: failures will be noisy.
>>
>> Implementing something that covers every corner case requires a
>> complete sed parser.  That's not viable of course, so that's
>> obviously not what you mean.
> 
> Right.  I have no idea what we'll need in the end, but as I said:
> failures will be noisy, so there is no problem in crossing that
> bridge once we come to it.
> 
>> How about:
>>
>>      sed -e 's/  *# .*//'
> 
> Fine with me.

Good, I pushed with that squashed in.  I didn't dare a merge to
master as the conflicts looked scary.

Cheers,
Peter

Reply via email to