On 21/01/2021 11:30, A. Dumas wrote:
> 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.

I think that is the case, as I don't recall ever deliberately installing
gawk on those two machine.

---druck

--- SoupGate-Win32 v1.05