Modo semplice per convertire HH:MM:SS (ore:minuti:secondi.frazioni di secondo) in secondi

Prova awk . Come bonus, puoi mantenere i secondi intermedi.

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

Prova questo:

T='00:20:40.28'
SavedIFS="$IFS"
IFS=":."
Time=($T)
Seconds=$((${Time[0]}*3600 + ${Time[1]}*60 + ${Time[2]})).${Time[3]}
IFS="$SavedIFS"

echo $Seconds

($ ) divide basato sullo splitter (IFS ).

${ [ ]} restituisce l'elemento di al .

$(( )) esegue l'espressione aritmetica.

Spero che questo aiuti.

Funzionerebbe anche se non specifichi ore o minuti:echo "04:20:40" | sed -E 's/(.*):(.+):(.+)/\1*3600+\2*60+\3/;s/(.+):(.+)/\1*60+\2/' | bc