Re: [bug-gawk] --lint option and standard input/ouput/error

[M]

Well, I thought the problem over, and, yes, I tend to agree with you that it's 
quite an exotic case in practice.
Most probably, if you use explicit redirections, you know what you are doing 
(finally, there's an unambiguous warning in the manual about closing stdin, 
stdout or stderr).

_______________

Yours respectfully,
Mark Krauze

23.06.2019, 09:02, "address@hidden" <address@hidden>:
> Hi.
>
> M <address@hidden> wrote:
>
>>  When using --lint option, gawk always recommends you to close explicitly
>>  any file, including special files like standard input, output and error.
>
> The warning applies only to files opened with explicit redirections.
>
> Is this a theoretical problem, or something that actually caused trouble
> to you (or someone you know)?
>
> I don't see this as being a real issue in practice.
>
> Thanks,
>
> Arnold