SC2023
Joachim Ansorg edited this page Oct 31, 2022
·
2 revisions
The shell may override time as seen in man time(1). Use command time .. for that one.
Problematic code:
time -some someCorrect code:
command time -some someRationale:
time is a built-in command.
If you would like to use time from $PATH, you need to use command to execute it as a regular command.
Exceptions:
None