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

Re: `time` doesn't say seconds

X-seq: zsh-workers 52289
From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
To: Ram Rachum <ram@xxxxxxxxxx>
Cc: zsh-workers@xxxxxxx
Subject: Re: `time` doesn't say seconds
Date: Fri, 10 Nov 2023 09:31:35 -0800
Archived-at: <https://zsh.org/workers/52289>
In-reply-to: <CANXboVYJbD=aoDObHOVoEL9gwr-n=zAG+xCQk_hW8TP4Hsbyrw@mail.gmail.com>
List-id: <zsh-workers.zsh.org>
References: <CANXboVbrpq8=YTxzvGCiLoPTVyPqFe3OBe0unRKdV1+H8x0nqw@mail.gmail.com> <CAH+w=7YvLy1Tz7C2Dns8Zk2dwjZb-co4QBnvnMBhQvCjNrJmMw@mail.gmail.com> <CANXboVYJbD=aoDObHOVoEL9gwr-n=zAG+xCQk_hW8TP4Hsbyrw@mail.gmail.com>

On Fri, Nov 10, 2023 at 9:28 AM Ram Rachum <ram@xxxxxxxxxx> wrote:
>
> Thanks Bart. Given this explanation, what do you think should be done here, if anything at all

I think you should assign TIMEFMT in your .z* files somewhere.  The
default is documented.

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: Ram Rachum

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