-----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 [EMAIL PROTECTED] -----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----- _______________________________________________ Bug-coreutils mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-coreutils
