[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Does gawk deal with signal pipe correctly?
From: |
Peng Yu |
Subject: |
Re: [bug-gawk] Does gawk deal with signal pipe correctly? |
Date: |
Sat, 16 Jun 2018 07:26:06 -0500 |
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
- [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 <=
- Re: [bug-gawk] Does gawk deal with signal pipe correctly?, arnold, 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, 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