News for hackers. Stuff that matters.
Re:Grep flags – the good stuff by danadam on Wednesday February 02, 2022 @01:14PM (#30181522)
With sed instead of grep, and probably not much better, but in a single command:

  cat hello | sed -n '/foo/{ /bar/{ /baz/ p }}'
Re:Grep flags – the good stuff by ravoori on Wednesday February 02, 2022 @03:42PM (#30183751)
with awk: <hello awk '/foo/ && /bar/ && /baz/'