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

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

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.