Re: SECONDS=0 does not reset SECONDS, or I'm missing something

[Pier Paolo Grassi]

this is zsh 5.1.1 (a bit old):

echo $SECONDS; sleep 0.5; echo $SECONDS
1199
1200

Il giorno gio 4 giu 2020 alle ore 15:59 Greg Wooledge <wooledg@eeg.ccf.org>
ha scritto:

> On Thu, Jun 04, 2020 at 03:52:50PM +0200, Andreas Kusalananda Kähäri wrote:
> > I might have been a bit imprecise in describing my issue.
> >
> > Most of the time, removing the directories takes less than a second.
> > For these cases, I don't want to execute the sleep at all.  Only when a
> > call to rm takes more than one second do I want to sleep.
>
> So, use "time rm ..." with the TIMEFORMAT variable set how you like.
> Capture the output of time into a variable (trickier than it sounds),
> and then sleep only if the variable does not match 0.* .
>
> See <https://mywiki.wooledge.org/BashFAQ/032> for help capturing time's
> output.
>
>