Python: date, time formatting

Question

I need to generate a local timestamp in a form of YYYYMMDDHHmmSSOHH\'mm\'. That OHH\'mm\' is one of +, -, Z and then there are hourhs and minutes followed by \'.

Ple

Answer 1

time.strftime will do for that,

And in linux, %z will just give you -HHMM format if environment variable is properly set.

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

Answer 2

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)))