Какой простой способ преобразовать 00:20:40.28 (ЧЧ: ММ: СС) в секунды с помощью Bash-скрипта?
00:20:40.28
Можно отключить доли секунды, это не обязательно.
Я не проверял это, но, думаю, именно так вы разбили строку.Затем следует умножение на соответствующие суммы для часов и минут.
mytime=’00:20:40.28′ part1=${mytime%%:*}; rest=${mytime#*:} part2=${rest%%:*}; rest=${rest#*:} part3=${rest%%:*};