2 SC2023
Joachim Ansorg edited this page 2022-10-31 15:23:35 +01:00

The shell may override time as seen in man time(1). Use command time .. for that one.

Problematic code:

time -some some

Correct code:

command time -some some

Rationale:

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