Added meaningful page for apparently broken content

Joachim Ansorg
2022-10-31 15:23:35 +01:00
parent 5386c2d8cf
commit a452c75338

@@ -1 +1,22 @@
The shell may override 'time' as seen in man time(1). Use 'command time ..' for that one.
## 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