Un moyen simple de convertir HH:MM:SS (heures:minutes:secondes.secondes fractionnées) en secondes

Essayez awk . En prime, vous pouvez conserver la fraction de seconde.

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

Essayez ceci :

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

($ ) divise basé sur le séparateur (IFS ).

${ [ ]} renvoie l'élément du à l' .

$(( )) exécute l'expression arithmétique.

J'espère que cela vous aidera.

Cela fonctionnera même si vous ne spécifiez pas d'heures ou de minutes :echo "04:20:40" | sed -E 's/(.*):(.+):(.+)/\1*3600+\2*60+\3/;s/(.+):(.+)/\1*60+\2/' | bc