[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: was there a more fine number than $SECONDS for the same purpose
|
From: |
Dennis Williamson |
|
Subject: |
Re: was there a more fine number than $SECONDS for the same purpose |
|
Date: |
Sun, 7 Nov 2021 06:25:05 -0600 |
On Sun, Nov 7, 2021, 2:47 AM Alex fxmbsw7 Ratchev <fxmbsw7@gmail.com> wrote:
> like 0.4s or so
>
Bash 5.0 alpha introduced the EPOCHREALTIME variable which includes
Microseconds.
echo "$EPOCHREALTIME"
1636287738.202356
- was there a more fine number than $SECONDS for the same purpose, Alex fxmbsw7 Ratchev, 2021/11/07
- Re: was there a more fine number than $SECONDS for the same purpose,
Dennis Williamson <=
- Re: was there a more fine number than $SECONDS for the same purpose, Alex fxmbsw7 Ratchev, 2021/11/07
- Re: was there a more fine number than $SECONDS for the same purpose, Greg Wooledge, 2021/11/07
- Re: was there a more fine number than $SECONDS for the same purpose, Tapani Tarvainen, 2021/11/07
- Re: was there a more fine number than $SECONDS for the same purpose, Tapani Tarvainen, 2021/11/07
- Re: was there a more fine number than $SECONDS for the same purpose, Alex fxmbsw7 Ratchev, 2021/11/07
- Re: was there a more fine number than $SECONDS for the same purpose, Tapani Tarvainen, 2021/11/07
- Re: was there a more fine number than $SECONDS for the same purpose, Alex fxmbsw7 Ratchev, 2021/11/07
- Re: was there a more fine number than $SECONDS for the same purpose, Alex fxmbsw7 Ratchev, 2021/11/07
Re: was there a more fine number than $SECONDS for the same purpose, Tapani Tarvainen, 2021/11/07