A. Dumas  writes:
> 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.

If both are installed, gawk wins (priority 10 vs priority 5).
However mawk is Priority: required, while gawk is Priority: optional.

So mawk is the default in the sense that it’s certain to be installed
while gawk is not, but gawk is the default in the alternative sense that
if you have both, awk->gawk.

--
https://www.greenend.org.uk/rjk/

--- SoupGate-Win32 v1.05