On 20/01/2021 14:44, A. Dumas wrote:
> But I also haven't changed those aliases, or at least don't remember. I
> would find it very strange if mawk was the default awk anywhere, but
> especially on Debian/Raspbian which I have used for quite a few years and
> never noticed that awk was linked to mawk. Pretty sure it isn't, in a
> standard installation.

I've just checked /etc/alternatives/awk on my bakers dozen Pi's, and the
two running Raspbian with the Mate desktop are gawk, all the others
running Raspbian Pixel and Raspbian Lite are using mawk, so it would
seem mawk is the default on standard installations.

---druck

--- SoupGate-Win32 v1.05