Re: was there a more fine number than $SECONDS for the same purpose

[Alex fxmbsw7 Ratchev]

ill do so, only with the epoch value, and gawk math'ing
thank you

On Sun, Nov 7, 2021, 15:23 Tapani Tarvainen <tapani@tapanitarvainen.fi>
wrote:

> On Sun, Nov 07, 2021 at 09:47:15AM +0100, Alex fxmbsw7 Ratchev (
> fxmbsw7@gmail.com) wrote:
>
> > like 0.4s or so
>
> As far as I know there isn't. However, you could use $EPOCHSECONDS and
> $EPOCHREALTIME for the purpose, e.g.,
>
> SDIFF=$(( EPOCHSECONDS - SECONDS ))
> ...
> MICROSECONDS=$(echo $EPOCHREALTIME - $SDIFF | bc)
>
>
> --
> Tapani Tarvainen
>
>