linuxbashshelltime

Simple way to convert HH:MM:SS (hours:minutes:seconds.split seconds) to seconds


What's an easy way to convert 00:20:40.28 (HH:MM:SS) to seconds with a Bash script?

Split seconds can be cut out, it’s not essential.


Solution

  • Try awk. As a bonus, you can keep the split seconds.

    echo "00:20:40.25" | awk -F: '{ print ($1 * 3600) + ($2 * 60) + $3 }'