4 ms·
A minor nitpick: the author most likely doesn't use time(1), which usually is https://www.gnu.org/software/time/ https://www.gnu.org/software/time/), but intern
by marbu 5y ago
A minor nitpick: the author most likely doesn't use time(1), which usually is https://www.gnu.org/software/time/ https://www.gnu.org/software/time/), but internal shell command time. See:
```
$ type -a time
time is a shell keyword
time is /usr/bin/time
time is /bin/time
```
- oandrew 5y agoyou can skip shell built-ins by pretending "command": $ time -V -V: command not found $ command time -V GNU time 1.7