On 4/14/20 4:41 AM, [email protected] wrote: > Bash Version: 5.0 > Patch Level: 16 > Release Status: release > > Description: > Integer part of $EPOCHREALTIME could increase more than 8000 > microseconds > before $EPOCHSECONDS
It's the difference between time() and gettimeofday().
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
