You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As frawk development has stalled for the moment, you might have some time to investigate the relative slowness of getline when reading from a pipe (eg. "cat - " | or a redirected file (e.g < "/dev/stdin").
As frawk development has stalled for the moment, you might have some time to investigate the relative slowness of getline when reading from a pipe (eg.
"cat - " |
or a redirected file (e.g< "/dev/stdin"
).ezrosent#98 (comment)
Also zawk is slower than frawk (but this might be due the fact that I didn't manage to build it with
unstable
feature yet.The text was updated successfully, but these errors were encountered: