Как преобразовать даты с буквенными месяцев отметку времени

Question

Что является наиболее эффективным способом преобразовать список Itmes как

02/Oct/2013:20:18:18 

на метку времени, с помощью Python? Мне нужно преобразовать файлы HUGE log, в которых строки будут обрабатываться на основе их временных меток. поэтому нужен очень быстрый метод преобразования.

Answer 1

strptime - это путь. Он будет принимать произвольные временные форматы и преобразовывать их в объект типа struct_time.

Кроме того, вы можете использовать time.mktime(), чтобы получить unix-timestamp с объекта struct_time.

EDIT: (Добавление пример)

Принимая ваши данные примера, вы могли бы сделать что-то вроде этого (питон оболочки:

>>> time.strptime("02/Oct/2013:20:18:18", "%d/%b/%Y:%X") 
    time.struct_time(tm_year=2013, tm_mon=10, tm_mday=2, tm_hour=20, tm_min=18, tm_sec=18, tm_wday=2, tm_yday=275, tm_isdst=-1) 
>>> time.mktime(time.strptime("02/Oct/2013:20:18:18", "%d/%b/%Y:%X")) 
    1380725298.0 

Кстати, если вам нужно понять спецификаторов формата для даты , посмотрите на date страницы руководства.

Answer 2

просто использовать питон DateTime

from datetime import datetime 
datetime.strptime('02/Oct/2013:20:18:18','%d/%b/%Y:%H:%M:%S')