Python: data, formatowanie czasu

Question

Potrzebuję wygenerować lokalny znacznik czasu w postaci RRRRMMDDHHmmSSOHH'mm '. Że OHH'mm jest jednym z +, -, Z, a następnie są godziny i minuty, po których następuje ".

Jak mogę uzyskać taki znacznik czasu, oznaczający zarówno lokalną strefę czasową, jak i możliwą oszczędność czasu letniego?

Answer 1

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

Answer 2

time.strftime zrobi za to,

A w Linuksie, %z będzie po prostu dać -HHMM Format jeśli zmienna jest ustawiona prawidłowo.

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