Re: `time` doesn't say seconds

X-seq: zsh-workers 52288

From: Ram Rachum <ram@xxxxxxxxxx>

To: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>, zsh-workers@xxxxxxx

Subject: Re: `time` doesn't say seconds

Date: Fri, 10 Nov 2023 19:28:43 +0200

Archived-at: <https://zsh.org/workers/52288>

In-reply-to: <CAH+w=7YvLy1Tz7C2Dns8Zk2dwjZb-co4QBnvnMBhQvCjNrJmMw@mail.gmail.com>

List-id: <zsh-workers.zsh.org>

References: <CANXboVbrpq8=YTxzvGCiLoPTVyPqFe3OBe0unRKdV1+H8x0nqw@mail.gmail.com> <CAH+w=7YvLy1Tz7C2Dns8Zk2dwjZb-co4QBnvnMBhQvCjNrJmMw@mail.gmail.com>

On Fri, Nov 10, 2023, 19:26 Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:

On Fri, Nov 10, 2023 at 5:25 AM Ram Rachum <ram@xxxxxxxxxx> wrote:
>
> If I understand correctly, the 11.230 number is 11.230 seconds, but for some reason it doesn't have "s" after it like 11.41s and 0.90s. I think that it should.

TIMEFMT='%J %U user %S system %P cpu %E total'

The default format instead uses %*E which drops the trailing "s" and
uses HH:MM:SS.TTT instead, but the HH and MM are also dropped when
zero.

Thanks Bart. Given this explanation, what do you think should be done here, if anything at all?

Reverse Date

Date

Thread

Author