title: combine multiple awk commands
body: <p>Assuming the following input:</p>
  
  <pre><code>$ cat example
  {many lines of text}
  
  Col1 Col2  Col3
  foo  bar   2 
  bar  baz   3
  baz  bar   8
  bar  foo   0
  foo  baz   9
  baz  bar   3
  
  {many more lines of text}
  </code></pre>
  
  <p>The following two awk snippets parse out the data I'm after:</p>
  
  <pre><code>cat example | awk -v 'RS=\n\n' '/^Col1 /' | awk '$2 == "bar" &amp;&amp; $3 &gt; 1 {print $1}'
  foo
  baz
  baz
  </code></pre>
  
  <p>How do I combine the two snippets into a single bit of awk, e.g.</p>
  
  <pre><code>awk '
  ...
  ...
  ...
  ' example
  </code></pre>