rename file script

rename_file.py

#!/usr/bin/env python
# -*- coding: utf-8 -*-
# Rename: baixing.log-1420614280.gz => baixing.log-20150107-150440.gz

import os
import datetime

to_date = lambda x: datetime.datetime.fromtimestamp(int(x)).strftime('%Y%m%d-%H%M%S')

file_list = os.listdir(".")
for fi in file_list:
    if fi.count("-") != 1 or fi.count(".gz") < 1:
        continue
    prefix, postfix = fi.split("-")
    new_date = to_date(postfix.split(".gz")[0])
    filename = prefix + "-" + new_date + ".gz"
    os.rename(fi, filename)
    print(fi, "=>", filename)