On 4/14/20 1:43 PM, Martin Schulte wrote:
> Hello Chet, hello Felix, hello all!
>
>>> 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().
EPOCHSECONDS is the analog of SECONDS, with the difference being the
starting point.
EPOCHREALTIME is supposed to be the thing you use if you want additional
precision than seconds granularity.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
