Re: (No subject)

[Davide Brini]

On Sat, 04 Apr 2020 15:12:21 +0300, john doe <address@hidden> wrote:

>
>
> 04.04.2020, 15:04, "Davide Brini" <address@hidden>:
>
> > What's wrong with curl blah | awk ... ?
>
> Nothing is. But as I've said in another reply, I want to avoid pipes
> here. So, not that something's wrong but just for this particular task I
> want to understand, either I'm using getline (or system) wrong, or awk is
> doomed to lose some milliseconds if used this way, and there's no
> workaround it.

You can also use (with shells that support it) the form

awk ...  <(curl blah)

so awk thinks it's reading a regular file, but behind
the scenes the shell is still creating a pipe.

--
D.