Add colon in timezone, add space before timezone

Author: ddelange

README.md

@@ -11,10 +11,10 @@ $ pip install ipython-autotime
 
 ```python
 In [1]: %load_ext autotime
-time: 264 µs (started: 2020-12-15 11:44:36+0100)
+time: 264 µs (started: 2020-12-15 11:44:36 +01:00)
 
 In [2]: x = 1
-time: 416 µs (started: 2020-12-15 11:44:45+0100)
+time: 416 µs (started: 2020-12-15 11:44:45 +01:00)
 
 In [3]: x / 0
 ---------------------------------------------------------------------------
@@ -23,7 +23,7 @@ ZeroDivisionError                         Traceback (most recent call last)
 ----> 1 x/0
 
 ZeroDivisionError: division by zero
-time: 88.7 ms (started: 2020-12-15 11:44:53+0100)
+time: 88.7 ms (started: 2020-12-15 11:44:53 +01:00)
 ```
 
 ## Want to turn it off?

autotime/__init__.py

@@ -12,6 +12,12 @@
 from IPython.core.magics.execution import _format_time as format_delta
 
 
+def format_timestamp(struct_time):
+    timestamp = strftime('%Y-%m-%d %H:%M:%S %z', struct_time)
+    # add colon in %z (for datetime.fromisoformat, stackoverflow.com/q/44836581)
+    return '{}:{}'.format(timestamp[:-2], timestamp[-2:])
+
+
 class LineWatcher(object):
     """Class that implements a basic timer.
 
@@ -30,7 +36,7 @@ def stop(self):
         print(
             u'time: {} (started: {})'.format(
                 format_delta(delta),
-                strftime('%Y-%m-%d %H:%M:%S%z', self.timestamp),
+                format_timestamp(self.timestamp),
             )
         )