Re: lint warning: unnecessary mixing of `>' and `>>'

[Hermann Peifer]

On 20/10/2023 15.18, Andrew J. Schorr wrote:
> Ha. Fair point. Both approaches give the same result, but I suppose you are
> correct that the --lint behavior seems to be inconsistent with the manual's
> suggestion. The current code in io.c:check_duplicated_redirections does not
> seem to distinguish between which was used first ('>' or '>>'), but I think it
> could be enhanced to do so. Of the 11 things it checks for, this is probably
> the only one where the ordering matters. Maybe it should be handled as
> a special case...

The code in io.c could perhaps be enhanced, but I would also understand
if lint warning fixing does not have the highest priority in gawk
maintenance work.

It just happened that I recently aliased awk to 'awk --lint' on my
Macbook after which I came across many warnings I have never seen
before. Almost all lint warnings are very helpful for me, only a few
ones are puzzling.

Hermann