'while read' loop performance (redirection vs pipeline)

2020-06-10 Thread Terence O'Gorman
Configuration Information: Machine: x86_64 OS: linux-gnu Compiler: gcc Compilation CFLAGS: -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=

Re: 'while read' loop performance (redirection vs pipeline)

2020-06-10 Thread Chet Ramey
On 6/10/20 7:48 AM, Terence O'Gorman wrote: > Bash Version: 5.0 > Patch Level: 11 > Release Status: release > > > Description: > > The 'while read' loop exhibits very different performance depending on > whether input is via redirection or pipeline (and increasingly diverging > performance with