本文介绍了20：40.28秒到（小时：seconds.split秒：分钟），00转换的简单方法的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
什么是一个简单的方法来转换 00：20：40.28 （HH：MM：SS）与一个bash脚本秒？
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.
推荐答案
尝试 AWK 。作为奖励，你可以保持分裂秒。
Try awk. As a bonus, you can keep the split seconds.
echo "00:20:40.25" | awk -F: '{ print ($1 * 3600) + ($2 * 60) + $3 }'
这篇关于20：40.28秒到（小时：seconds.split秒：分钟），00转换的简单方法的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！