help-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: dan braun
Subject: Re: SECONDS=0 does not reset SECONDS, or I'm missing something
Date: Thu, 4 Jun 2020 10:10:48 -0400

Pier,
I wonder are both clocks coincident? and locked together in sync?
seems like there are two timepieces, the sleep and the seconds, and they
are not locked together...

dan
--
Dan Braun (dan @ tekvax . com )
Broadcast Engineering
Burlington, Ontario, Canada


On Thu, 4 Jun 2020 at 10:07, Pier Paolo Grassi <mail@pierpaolograssi.it>
wrote:

> 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.
> >
> >
>


reply via email to

[Prev in Thread] Current Thread [Next in Thread]