>> FWIW, my preferences are: sticking with what we currently have, or
>> Perl.
> 
> Yeah, I forgot to say that: I don't see a critical problem with
> gnulib-tool written in shell today.  It has grown into a complex script,
> which can be difficult to debug and understand, and it can be quite slow
> sometimes (so I appreciate optimizations).  But it has worked fine for
> me for a long time, and it isn't clear to me that moving to perl or
> something else would be an overall improvement.

Agreed.  I don't see any problem with Ralf's patches.  As I said,
"fixing the shell" to have faster `echo | sed` isn't really an option.

Paolo


Reply via email to