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

[arnold]

Hello.

I don't think this is an awk issue.  In any case, I can't
reproduce the problem:

        $ gawk --version | sed 1q
        GNU Awk 4.2.0, API: 2.0 (GNU MPFR 3.1.4, GNU MP 6.1.0)
        [tanda:pts/2 arnold]$ for i in nawk mawk gawk
        > do
        > echo === $i
        > seq 10000000 | $i '{ print }' | head -1
        > echo address@hidden
        > done
        === nawk
        1
        141 141 0
        === mawk
        1
        141 141 0
        === gawk
        1
        141 141 0

Arnold

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