Hacker News new | ask | show | jobs
by danadam 1595 days ago
With sed instead of grep, and probably not much better, but in a single command:

  cat hello | sed -n '/foo/{ /bar/{ /baz/ p }}'
1 comments

with awk: <hello awk '/foo/ && /bar/ && /baz/'