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
_______________________________________________
Bug-sh-utils mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-sh-utils
