>> 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