[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:58:12 -0500 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Oops, I forgot the attachment.
On Thu, Jan 26, 2023 at 11:57:32AM -0500, Andrew J. Schorr wrote:
> Hi,
>
> > Then I guess I've misread the source code, sorry about that.
>
> No worries.
>
> > But the
> > fact is that the OP's program fails on GNU/Linux exactly as it fails
> > on Windows.
>
> Hmmm. The attached code works fine for me on Linux. Note that I changed
> the path separator from ";" to ":":
>
> bash-4.2$ gawk -f /tmp/readdir.awk
> 2
> 655 1965
>
> What happens when you try it?
>
> Regards,
> Andy
readdir.awk
Description: Text document
- Re: readdir extension on windows with getline, (continued)
- 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
- Re: readdir extension on windows with getline,
Andrew J. Schorr <=