Cara mudah mengonversi HH:MM:SS (jam:menit:detik.split detik) menjadi detik

Coba awk . Sebagai bonus, Anda dapat menyimpan sepersekian detik.

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

Coba ini:

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

($ ) memisahkan berdasarkan pada pembagi (IFS ).

${ [ ]} mengembalikan elemen di .

$(( )) melakukan ekspresi aritmatika.

Semoga ini bisa membantu.

Ini akan bekerja bahkan jika Anda tidak menentukan jam atau menit:echo "04:20:40" | sed -E 's/(.*):(.+):(.+)/\1*3600+\2*60+\3/;s/(.+):(.+)/\1*60+\2/' | bc