Re: Bash time (wrt: TIMEFORMAT) display: rounding vs. truncation?

[Eric Blake]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

According to L. Walsh on 12/28/2005 8:56 PM:
> A bit of a "nit" :-). I noticed that the output of the Bash
> builtin "time" function (Bash 3) is "truncated", not rounded.
> This might be personal preference, but rounding would seem
> "less surprising" and of more interest.  I.e., if someone
> displays a program's run-time, it seems rounding would
> be more likely to give a "useful" answer.

This report would better submitted to the bug-bash mailing list, since the
coreutils project does not maintain bash.

Also, be aware that POSIX does have some requirements on the output of
time, http://www.opengroup.org/onlinepubs/009695399/utilities/time.html,
but usage of TIMEFORMAT is outside the realm of POSIX.

- --
Life is short - so eat dessert first!

Eric Blake             address@hidden
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (Cygwin)
Comment: Public key at home.comcast.net/~ericblake/eblake.gpg
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

iD8DBQFDs/Y384KuGfSFAYARArMWAJ0WKX+OVHTkOsi4Sklnrrata3L13ACfbSxA
oOoX4KhOP11Xas2nRa67k+M=
=Vhce
-----END PGP SIGNATURE-----