Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: `time` doesn't say seconds

X-seq: zsh-workers 52322
From: "Mark J. Reed" <markjreed@xxxxxxxxx>
To: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
Cc: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>, Ram Rachum <ram@xxxxxxxxxx>, zsh-workers@xxxxxxx
Subject: Re: `time` doesn't say seconds
Date: Wed, 22 Nov 2023 15:23:19 -0500
Archived-at: <https://zsh.org/workers/52322>
In-reply-to: <CAH+w=7bNoi8WwN8X8MzApce99UkOhATSRmTfxkmnHh+3APh6AA@mail.gmail.com>
List-id: <zsh-workers.zsh.org>
References: <CANXboVbrpq8=YTxzvGCiLoPTVyPqFe3OBe0unRKdV1+H8x0nqw@mail.gmail.com> <CAH+w=7YvLy1Tz7C2Dns8Zk2dwjZb-co4QBnvnMBhQvCjNrJmMw@mail.gmail.com> <9658AE7C-58D0-43C7-89E2-F03090EECB06@ntlworld.com> <CAH+w=7bNoi8WwN8X8MzApce99UkOhATSRmTfxkmnHh+3APh6AA@mail.gmail.com>

Sorry if I'm missing some vital context (I here am new), but if the goal is to include the "s" units in the default output of time, that's just a matter of changing `%*E` to `%E` in the default value of TIMEFMT, right?

On Tue, Nov 21, 2023 at 10:36 PM Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:

On Tue, Nov 21, 2023 at 1:25 AM Peter Stephenson
<p.w.stephenson@xxxxxxxxxxxx> wrote:
>
> I don't know if anyone is likely to be automatically matching the
> current format? Given the variability of this element presumably not.

The doc should be updated, though. It specifies the default without
the "s". Your patch also alters the definition of %*E in the value of
TIMEFMT.

Mark J. Reed <markjreed@xxxxxxxxx>

Follow-Ups:
- Re: `time` doesn't say seconds
  - From: Bart Schaefer

References:
- `time` doesn't say seconds
  - From: Ram Rachum
- Re: `time` doesn't say seconds
  - From: Bart Schaefer
- Re: `time` doesn't say seconds
  - From: Peter Stephenson
- Re: `time` doesn't say seconds
  - From: Bart Schaefer

Messages sorted by: Reverse Date, Date, Thread, Author