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

Re: time command with shell builtins

On Wed, Jan 25, 2023 at 08:43:50AM +0100, Mikael Magnusson wrote:
> On 1/25/23, Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> > On Tue, Jan 24, 2023 at 2:48 AM Dominik Vogt <dominik.vogt@xxxxxx> wrote:
> > Out of curiosity, why are you doing math on $EPOCHSECONDS rather than
> > just use $SECONDS?
>
> I also do this in precmd/exec

Actually, I just copied and modified the code from Mikael without
thinking about SECONDS vs. EPOCHSECONDS.

Ciao

Dominik ^_^  ^_^

--

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