you can skip shell built-ins by pretending "command":
$ time -V
-V: command not found
$ command time -V
GNU time 1.7 $ time -V
-V: command not found
$ command time -V
GNU time 1.7No comments yet.