python tips 系列 修改UNIX时区

 引自Python Library Reference Release 2.5 p408

在程序中根据需要修改本地时区信息

>>> import os, time
>>> os.environ[’TZ’] = 'US/Eastern’
>>> time.tzset()
>>> time.tzname

(’EST’, ’EDT’)

 >>> ust=820090437
>>> st=172211

>>> time.strftime("%Z, %a, %d %b %Y %H:%M:%S +0000", time.localtime(ust+st))
'PST, Fri, 29 Dec 1995 10:44:08 +0000'

要求在目录/usr/share/zoneinfo下有相应的文件存在，否则出错