https://serverfault.com/questions/310098/how-to-add-a-timestamp-to-bash-script-log
Anonymous
Programmer time is expensive, conserve it in preference to machine time.