I note that you can use echo %time:~0,12%
to get the time to the nearest 100th of a second.
However, ideally I would like to get the time since 00:00 GMT, January 1, 1970 in seconds to three decimal places (eg 1352822663.863
).
It seems like there are no easy ways to do this... could anyone recommend a good starting point?