Python short time format
<p>Is there a simple way in Python to format a time (delta) as follows:</p>

<pre><code>10:11:12 -&gt; 10:11:12
09:10:11 -&gt;  9:10:11 
00:10:11 -&gt;    10:11
00:09:10 -&gt;     9:10
00:00:10 -&gt;       10 (or maybe as 0:10)
00:00:09 -&gt;        9 (or maybe as 0:09)
</code></pre>

<p>I.e. suppressing leading zeros and separators 
(but maybe not when time delta is &lt; 1 minute)</p>