Comment Comment by oandrew you can skip shell built-ins by pretending "command": $ time -V -V: command not found $ command time -V GNU time 1.7 parent oandrew 5 years ago