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

Re: `time` doesn't say seconds

X-seq: zsh-workers 52320
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
Cc: Ram Rachum <ram@xxxxxxxxxx>, zsh-workers@xxxxxxx
Subject: Re: `time` doesn't say seconds
Date: Tue, 21 Nov 2023 19:36:10 -0800
Archived-at: <https://zsh.org/workers/52320>
In-reply-to: <9658AE7C-58D0-43C7-89E2-F03090EECB06@ntlworld.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>

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.

Follow-Ups:
- Re: `time` doesn't say seconds
  - From: Mark J. Reed
- Re: `time` doesn't say seconds
  - From: Peter Stephenson

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

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