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