[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: readdir extension on windows with getline
From: |
Andrew J. Schorr |
Subject: |
Re: readdir extension on windows with getline |
Date: |
Thu, 26 Jan 2023 11:19:36 -0500 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Hi,
On Thu, Jan 26, 2023 at 12:17:14PM +0200, Eli Zaretskii wrote:
> AFAICT, the readdir extension cannot be used with getline, since
> getline redirection seems to ignore the registered input parsers.
I don't think that's correct. Getline should work with input parsers.
In fact, this trivial script works for me on Linux:
gawk -l readdir 'BEGIN {while ((getline < "/tmp") > 0) print}'
This same script works properly on Cygwin as well.
Regards,
Andy
- readdir extension on windows with getline, Jim Dailey, 2023/01/25
- Re: readdir extension on windows with getline, Eli Zaretskii, 2023/01/26
- Re: readdir extension on windows with getline, Jim Dailey, 2023/01/26
- Re: readdir extension on windows with getline,
Andrew J. Schorr <=
- Re: readdir extension on windows with getline, Andrew J. Schorr, 2023/01/26
- Re: readdir extension on windows with getline, Eli Zaretskii, 2023/01/26
- Re: readdir extension on windows with getline, Eli Zaretskii, 2023/01/26
- Re: readdir extension on windows with getline, Eli Zaretskii, 2023/01/26
- Re: readdir extension on windows with getline, Andrew J. Schorr, 2023/01/26
- Re: readdir extension on windows with getline, Eli Zaretskii, 2023/01/26
- Re: readdir extension on windows with getline, Andrew J. Schorr, 2023/01/26
- Re: readdir extension on windows with getline, Eli Zaretskii, 2023/01/27
- Re: readdir extension on windows with getline, Jim Dailey, 2023/01/27
- Re: readdir extension on windows with getline, Andrew J. Schorr, 2023/01/26