Você pode usar o método que o @WallaceMaxters demonstrou:
>>> print '%05d' % 4
'00004'
Outra possibilidade é usar o método zfill
da classe str
, o str.zfill, mas para isso você precisará que a entrada seja uma string, pois este método simplesmente completa strings até o tamanho especificado no parâmetro width
:
>>> print '4'.zfill(5)
'00004'
>>> print str(4).zfill(5)
'00004'
>>> print 'xpto'.zfill(5)
0xpto
Ou por fim utilizar o método de formatação da classe str, o str.format. Veja alguns exemplos:
>>> print '{:0>5}'.format(4)
'00004'
>>> print '{:0<5}'.format(4)
'40000'
>>> print '{:0^5}'.format(4)
'00400'
Um exemplo mais completo para você ter uma idéia do que o format
pode fazer:
>>> pessoa = {"nome": "Fernando", "usuario": "fgmacedo"}
>>> print '<a href="{p[usuario]}/">{p[nome]} ({0} pontos)</a>'.format(4, p=pessoa)
<a href="fgmacedo/">Fernando (4 pontos)</a>
Eu acho o format
mais elegante e poderoso. Você pode ler a especificação completa da linguagem de formatação que o str.format
utiliza em Format Specification Mini-Language.