WhatsTheTimeMrWolf

#!/usr/bin/env bash
 
# Wrap ourselves in a cosy time blanket.
if [[ "$(ps -o comm= $PPID)" != "time" ]]; then
  exec command time "$BASH" "$0" "$@"
fi

https://zachholman.com/talk/utc-is-enough-for-everyone-right