Ok, I've figured this out.
>>> import os, time
>>> date = '10 August 2005 at 17:26 BST'
>>> format = '%d %B %Y at %H:%M %Z'
>>> os.environ['TZ'] = 'Europe/London'
>>> time.strptime(date, format)
(2005, 8, 10, 17, 26, 0, 2, 222, 1)
Works (unsuprisingly) as advertised at the bottom of this page:
ht
> I get: "ValueError: time data did not match format: ..."
I'm running Linux in London, and I don't get that error.
Python 2.3.5 (#2, May 29 2005, 00:34:43)
[GCC 3.3.6 (Debian 1:3.3.6-5)] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> import time
>>> date_str
