Op 20-01-2021 om 16:07 schreef Richard Kettlewell:
> 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.

Thanks for the explanation!

--- SoupGate-Win32 v1.05