Oups! Missed "sed" command in my:
Fri, Dec 05, 2025 at 01:12:33PM +0100, Félix Hauri wrote:
> Trick for tracing this:
$ exec {marker}> >(sed -une '/read .*-t/s/.*/\o33[31m&\o33[0m/p')
>
> $ BASH_XTRACEFD=$marker
> $ set -x
> $ while sleepNextHR .5;do
> IFS=. read nowSec nowMus <<<$EPOCHREALTIME;
> printf '\e[1m%(%a %d %T)T.%s\e[0m\n' "$nowSec" "$nowMus";
> done
> + read -sn 1 -t 0.142758 _
> + read -sn 1 -t 0.005446 _
> Fri 05 12:48:14.500337
...
--
Félix Hauri - <[email protected]> - http://www.f-hauri.ch
