Problem solving with Unix commands
Removing leading zeroes doesn't require Python. One easy solution would be sed:<p><pre><code>    $ echo -e '0001\n0010\n0002' | sed 's/^0*//'
    1
    10
    2</code></pre>