Shell Programming and Scripting

Hi
i have a file which consists of the time records in following format
H:MM:SS.sss

Code:

0:00:09.249
0:00:00.102
0:00:00.105
0:00:08.499
0:00:08.499
0:00:06.980
0:00:04.249
0:00:05.749
0:00:00.108
0:00:00.107
0:00:03.014
0:00:00.000

I need to calculate their equivalent milliseconds through a script and store them in another file
Please help me
Thanks in advance

---------- Post updated at 07:58 PM ---------- Previous update was at 07:25 PM ----------

I tried this
awk -F"[ :]" '{a=a" "$1;b=b" "$2;c=c" "$3;d=d" "$4}END{print (((a*3600)+(b*60)+c)*1000)+d}' duration2

but it just reads first line
how can i modify it to read all lines ?

Since you appear to be dealing with only seconds and milliseconds:

Code:

awk -F:  '{print $3*1000}' infile

Code:

awk -F:  '{printf "%10d\n", $1 * 3600000 + $2 * 60000 + $3*1000}'  "$file"

Learn from Primary school, you can combine the 1000 together.

Code:

awk -F:  '{printf "%10d\n", ($1*60*60+$2*60+$3)*1000}' infile