Experimente awk
. Por exemplo:
echo "00:20:40" | awk -F: '{ print ( * 3600) + ( * 60) + }'
Então, se você tiver:
time="00:20:40"
então:
seconds=$(echo $time | awk -F: '{ print ( * 3600) + ( * 60) + }')
e echo $seconds
imprimirão 1240
.