>>> import time >>> time.strftime("%Y-%m%d-%H%M%S",time.localtime(time.time())) '2012-1027-233340'
$ date +%Y-%m%d-%H%M%S 2012-1027-233854
0 件のコメント:
コメントを投稿