diff --git a/SC2023.md b/SC2023.md index 8a375d8..71b5df6 100644 --- a/SC2023.md +++ b/SC2023.md @@ -1 +1,22 @@ -The shell may override 'time' as seen in man time(1). Use 'command time ..' for that one. \ No newline at end of file +## The shell may override `time` as seen in man time(1). Use `command time ..` for that one. + +### Problematic code: + +```sh +time -some some +``` + +### Correct code: + +```sh +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 \ No newline at end of file