4 ms·
you can skip shell built-ins by pretending "command": $ time -V -V: command not found $ command time -V GNU time 1.7
by oandrew 5y ago
you can skip shell built-ins by pretending "command":
$ time -V
-V: command not found
$ command time -V
GNU time 1.7