[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] --lint option and standard input/ouput/error
From: |
arnold |
Subject: |
Re: [bug-gawk] --lint option and standard input/ouput/error |
Date: |
Sun, 23 Jun 2019 00:02:45 -0600 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
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