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

Re: typeset -F3 SECONDS doesn't work the first time



On 28/06/2012, Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> On Jun 28,  7:04pm, Mikael Magnusson wrote:
> }
> } Another aside:
> } % while =sleep 0.1; do zsh -c 'typeset -F4 SECONDS; echo $SECONDS';
> } done | head -n 13|xargs
> } 0.0020 0.0020 0.0019 0.0019 0.0019 0.0023 0.0019 0.0013 0.0023 0.0020
> } 0.0020 0.0019 0.0019
> } but:
> } % while sleep 0.1; do SECONDS=15 zsh -c 'typeset -F4 SECONDS; echo
> } $SECONDS'; done | head -n 13 | xargs
> } 15.1560 15.2605 15.3650 15.4694 15.5738 15.6783 15.7827 15.8871
> } 15.9916 15.0961 15.2004 15.3047 15.4091
>
> I'm not sure what you're illustrating.  Did you intend to switch from
> /bin/sleep to the builtin sleep in the second example?  Does a value
> for sleep of less than 1 second even have any useful effect?
>
> OTOH, it doesn't seem to matter much to the output.  I'm not sure where
> the fractional part of $SECONDS is coming from when an initial value is
> assigned.

Right, the fractional part was what I wanted to show. sleep in both
pipelines can sleep for subsecond intervals, but afaik there's no
builtin sleep command in zsh.

-- 
Mikael Magnusson



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