Re: [bug-gawk] Does gawk deal with signal pipe correctly?

[Peng Yu]

Also, awk from mac seems to deal with it correctly.

$ cat DCt7x2zD | /usr/bin/awk '{ print }' | head -n 1

$ echo address@hidden
0 141 0
$ /usr/bin/awk --version
awk version 20070501

On Sat, Jun 16, 2018 at 7:24 AM, Peng Yu <address@hidden> wrote:
> Hi,
>
> $ seq 10000000 | awk -e '{ print }' | head -n 1
> 1
> $ echo "address@hidden"
> 141 141 0
> $ tmpfile=$(mktemp -u)
> $ seq 10000000 > "$tmpfile"
> $ cat "$tmpfile" | awk -e '{ print }' | head -n 1
> 1
> $ echo "address@hidden"
> 141 141 0
>
> In the following case, I see that awk sometimes return 1 instead of 0
> for the input tmp2.txt (download at
> https://pastebin.com/raw/DCt7x2zD). But I never see awk returns 141
> for this file. Is this behavior of awk correct? Should it always
> return 141?
>
> $ cat < tmp2.txt | awk -e '{ print }' | head -n 1
>
> $ echo address@hidden
> 0 1 0
>
> --
> Regards,
> Peng



-- 
Regards,
Peng