man page for GNU date

[Holger Lubitz]

hi,

i think i found a mistake / omission in the documentation for GNU date:

i want to produce a unix time stamp (seconds since 01/01/1970) formatted
to 10 chars, padded with leading zeroes if needed.

according to the manpage, date +%10s should work ("By default, date pads
numeric  fields with zeroes.")

however, if I use that, date pads with space. printf-style explicit zero
padding (%010s) works, but is not documented in the manpage. (well,
strictly speaking not even the possibility to pad to 10 chars with "10"
is documented.)

the version of date is:

# date --version
date (GNU sh-utils) 2.0

the operating system is linux (debian and red hat - both have the same
version)

regards,
holger