Easy measure time took in a bash script

note, May 28, 2023 on Mitja Felicijan's blog

In Bash, the $SECONDS variable is a special variable that automatically keeps -- cgit v1.2.3