On 20/01/2021 03:07 pm, Richard Kettlewell wrote:
> 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.
>

So, all in all, a TITSUP. (Total Inability To Support Users, Properly).

--
Chris Elvidge
England

--- SoupGate-Win32 v1.05