title: using sed to extract a time from a line
body: <p>line:</p>
  
  <pre><code>0.01user 0.00system 0:13.46elapsed 0%CPU (0avgtext+0avgdata 4272maxresident)k
  </code></pre>
  
  <p>I want to grab:</p>
  
  <pre><code>0:13.46
  </code></pre>
  
  <p>my current regex is:</p>
  
  <pre><code>sed 's/.*\([0-9]*:[0-9]*.[0-9]*\)elapsed.*/\1/'
  </code></pre>
  
  <p>I'm pretty sure the regex is correct, but it's not finding anything. It's probably something really simple, I'm just doing 10 things at once.</p>