Is there a shell command in Linux to get the time in milliseconds?
A Python script like this:
import time cur_time = int(time.time()*1000)