https://serverfault.com/questions/310098/how-to-add-a-timestamp-to-bash-script-log
Anonymous
Distrust all claims for one true way.