Hacker News new | ask | show | jobs
by oandrew 1801 days ago
you can skip shell built-ins by pretending "command":

  $ time -V
  -V: command not found

  $ command time -V
  GNU time 1.7