Timeline for Are Linux utilities smart when running piped commands?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2012 at 21:02 | comment | added | Izkata |
Cool, I didn't know that happened. I thought grep would continue sending output into a void, similar to /dev/null
|
|
| Jan 25, 2012 at 20:39 | vote | accept | DisgruntledGoat | ||
| Jan 25, 2012 at 19:41 | comment | added | psusi | @userunknown, exactly. | |
| Jan 25, 2012 at 17:47 | comment | added | dmckee --- ex-moderator kitten | This depends in part on the length of the lines and the size of the pipe buffer, but the short answer is that grep will reads some reasonably limited amount of extra data before being killed. | |
| Jan 25, 2012 at 16:12 | comment | added | user unknown | So I guess, due to race conditions, grep might have read the 11th or 12th pattern already, but probably not the 100 thousandst? | |
| Jan 25, 2012 at 15:31 | history | answered | psusi | CC BY-SA 3.0 |