Re: config files substitution with awk

[Karl Berry]

It sounds fine to me.

But for purposes of explaining to rms, can someone tell me (as briefly
as possible :) why it is desirable to switch to awk instead of sticking
with sed?

(I can imagine some reasons, but best to ask, I figure.)

Thanks,
karl