Python: fecha, formato de hora

Necesito generar una marca de tiempo local en forma de YYYYMMDDHHmmSSOHH’mm ‘. Ese OHH’mm ‘es uno de +, -, Z y luego hay horas y minutos seguidos de’.

Por favor, ¿cómo obtengo tal marca de tiempo, que denota tanto la zona horaria local como el posible horario de verano?

import time localtime = time.localtime() timeString = time.strftime("%Y%m%d%H%M%S", localtime) # is DST in effect? timezone = -(time.altzone if localtime.tm_isdst else time.timezone) timeString += "Z" if timezone == 0 else "+" if timezone > 0 else "-" timeString += time.strftime("%H'%M'", time.gmtime(abs(timezone))) 

time.strftime hará por eso,

Y en Linux, %z solo le dará formato -HHMM si la variable de entorno está configurada correctamente.

 >>> os.environ['TZ'] = 'EST' >>> time.strftime('%x %X %z') '03/21/10 08:16:33 -0500'