Op 21-01-2021 om 11:07 schreef druck:
> 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.

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.

--- SoupGate-Win32 v1.05