Skip to content
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 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

ShellCheck

Each individual ShellCheck warning has its own wiki page like SC1000. Use GitHub Wiki's "Pages" feature above to find a specific one, or see Checks.

Clone this wiki locally