Re: time builtin: incorrect formatting (e.g. 0m28.:00s)
Chet Ramey <[email protected]>
| Newsgroups | gmane.comp.shells.bash.bugs |
|---|---|
| Organization | ITS, Case Western Reserve University |
| Message-ID | <[email protected]> |
On 1/9/26 1:27 PM, Nikola Beneš wrote: > Bash Version: 5.3 > Patch Level: 9 > Release Status: release > > Description: > When running the built-in time command in bash, I got the > following output: > > real 0m5.215s > user 0m28.:00s > sys 0m0.961s Thanks for the report. This was fixed last October, the result of https://lists.gnu.org/archive/html/bug-bash/2025-10/msg00089.html -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
OpenPGP_signature.asc
(application/pgp-signature, 203 B)
-----BEGIN PGP SIGNATURE----- wmMEABEIACMWIQR8ATX7CIqvbGbGULm7WGnwZOp0qwUCaWZp2AUDAAAAAAAKCRC7WGnwZOp0qyNd AKCREz4DnbUuXfbEm7hNFhJwTCTZVwCfXBW1QCI3YQbfnKdRJCGVVKQsSsc= =Wz5c -----END PGP SIGNATURE-----