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

[Alex fxmbsw7 Ratchev]

i dunno all this and i dont think i need it
if float then gawk

On Sun, Nov 7, 2021, 16:51 Tapani Tarvainen <bash@tapanitarvainen.fi> wrote:

> On Sun, Nov 07, 2021 at 03:57:30PM +0200, Tapani Tarvainen (
> bash@tapanitarvainen.fi) wrote:
>
> > RADIX=${EPOCHREALTIME//[[:digit:]]/}
>
> > Incidentally, is there any easier way to determine the decimal
> > point in current locale?
>
> Answering myself,
>
> RADIX=$(locale decimal_point)
>
> is a rather obvious alternative.
>
> It does fork an external command and so it's probably slower than
> extracting it from EPOCHREALTIME, but it might be preferable
> nonetheless as a more readable alternative.
>
> --
> Tapani Tarvainen
>
>