druck  writes:

>> Huh. Thanks for checking. Perhaps I am the "victim" of an automated
>> switch from mawk to gawk after installing it as a dependency from
>> other things I always install.
>
> I think that is the case, as I don't recall ever deliberately
> installing gawk on those two machine.

Could be. I have two Pis, one is running Raspbian 8 and
/etc/alternatives/awk points to mawk. The other is running Raspbian 10
and /etc/alternatives/awk points to gawk. I don't think I have installed
gawk on the latter but I don't really remember for sure.

By the way, since I haven't seen this mentioned, Debian provides a tool
to manage those symlinks in /etc/alternatives, it's called
update-alternatives. IMO it has an obscure syntax and is hard to use but
I'd say it's still better than manually modifying the symlinks.

--- SoupGate-Win32 v1.05