[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Does gawk deal with signal pipe correctly?
From: |
arnold |
Subject: |
Re: [bug-gawk] Does gawk deal with signal pipe correctly? |
Date: |
Sat, 16 Jun 2018 12:51:32 -0600 |
User-agent: |
Heirloom mailx 12.4 7/29/08 |
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
- [bug-gawk] Does gawk deal with signal pipe correctly?, Peng Yu, 2018/06/16
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, Peng Yu, 2018/06/16
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?,
arnold <=
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, Peng Yu, 2018/06/16
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, arnold, 2018/06/17
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, Peng Yu, 2018/06/17
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, arnold, 2018/06/17
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, Peng Yu, 2018/06/17
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, arnold, 2018/06/17
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, Peng Yu, 2018/06/17
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, arnold, 2018/06/18
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, Peng Yu, 2018/06/18
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, arnold, 2018/06/18