I'm searching for the documentation of the time
command that can be prepended to the script in crontab
* * * * * time somescript.sh
/bin/time
. Not cron-specific, a general tool available on Unix-like systems.
https://man7.org/linux/man-pages/man1/time.1.html
See also: https://www.gnu.org/software/time/
time
has no special significance to the POSIX shell, to Bash it is a reserved word and an optional part of the syntax of pipelines. That's more deeply integrated into Bash than a built-in command (which time
is not).
Jun 2, 2023 at 16:14