[Tutor] A file containing a string of 1 billion random digits.

[Richard D. Moores]

On Mon, Jul 19, 2010 at 07:14, ALAN GAULD <alan.gauld at btinternet.com> wrote:
>
>
>> 4 and executed many times. Seems the 0 in 0dddd is
>> there when a dddd is a 3-digit number such as 123.
>> In that case a zero is prefixed to 123 to produce
>> 0123. Or if just 23, 2 zeros are prefixed, etc.
>> Correct?
>
> Yes, the zero indicates that the string should be padded
> with zeros to the length specified. The format string
> documentation gives all the details

I've been unable to find any mention of that use of the asterisk in
the 3.1 docs, in

http://docs.python.org/py3k/library/string.html#formatspec

or

http://docs.python.org/py3k/library/string.html#formatstrings

Suggestion?

Dick