On Sun, 4 Feb 2007, Oliver Bandel <oliver@first.in-berlin.de> wrote:
> 
> And "%0s" should make it with a filling-char '0'
> instead of filling-chars ' '.

No, reread the documentation:

   - [0]: for numerical conversions, pad with zeroes instead of spaces.
          ^^^^^^^^^^^^^^^^^^^^^^^^^
%s is not a numerical conversion

> Or how to make hex-output with filling '0' instead
> of ' ' for two-char length strings?

   Printf.sprintf "%02X" 12

You have to tell the length here otherwise no filling is necessary.

ChriS