Rename files downloaded from Arlo (Netgear) to something more parsable by humans

rename_arlo.py

#!/usr/bin/python

import os
import sys
import datetime as datetime

for file in os.listdir(sys.argv[1]):
	ts = datetime.fromtimestamp(float(os.path.splitext(file)[0])/1000.0)
	os.rename(file, ts.strftime("%m%d%Y-%H%M%S.mp4"))