parse bash time function to seconds

Question

I have this bit of info from a bash script. How can I keep only the time?

"real\t0m3.21s"

Needs to be

3.21s

The output is produced from time function.

What if the output is `2m3.21s` -- you don't care about the 2 minutes? — Barmar, Mar 30 '21 at 08:10
See https://www.gnu.org/software/bash/manual/html_node/Shell-Parameter-Expansion.html#Shell-Parameter-Expansion for the parameter expansion operators you can use to remove `real\t*m` from the beginning of the string. — Barmar, Mar 30 '21 at 08:11

score 0 · Accepted Answer · answered Mar 30 '21 at 08:36

0

Using sed:

sed -n 's/real\\t0m//p' <<< "real\t0m3.21s"

Replace "read\t0m" for nothing and print

answered Mar 30 '21 at 08:36

Raman Sailopal

1 Answers1