On 19/01/2021 22:15, Martin Gregorie wrote:

>> I think you are missing the point. If I pipe 4095 characters into mawk,
>> nothing happens, if a pipe an extra char to make 4096, it prints out.
>
> Thats definitely faulty behaviour: pipe operation should not depend on
> how full the pipe is.
>

Richard explained it better than me. It's mawk waiting until it has a
block of 4096 bytes (or EOF). Clearly designed behaviour.

With 20.04, Ubuntu seems to have switched from mawk to gawk as default
awk. I don't know if this is Ubuntu specific or Debian. So it's quite
possible this will be reflected in the next version of Raspbian
(Rasberry Pi OS)

This is exactly what I mean by fragile. Someone writes a script to do
something using awk, an OS update comes along and the app completely
changes.

--- SoupGate-Win32 v1.05