>>>>> "Pavel" == Pavel Roskin <[EMAIL PROTECTED]> writes:
Pavel> I thought about this construct, but I decided not to fix since
Pavel> the right fix is not to depend on GNU sed at all.
Don't do that Pavel, that's wasting your time (unless you refer to
using Perl now).
Pavel> I think "sed" is supposed to be the native sed, while $sed is
Pavel> GNU sed.
Correct.
Pavel> However, if I don't find a better solution soon I'll add
Pavel> </dev/null where appropriate.
That's a good thing to do. Apply it whenever you want.
