News for hackers. Stuff that matters.

A comment on /usr/bin/time: not the command you think you know. Parent comment

Re:/usr/bin/time: not the command you think you know by ptx on Tuesday March 07, 2017 @06:55AM (#13809729)
Just quoting it normally also works, apparently, as your excerpt from the man page suggests:

  $ help|head -1
  GNU bash, version 4.3.30(1)-release (x86_64-pc-linux-gnu)
  $ "time" --version
  GNU time 1.7
  $ time --version
  bash: --version: command not found
  
  real	0m0.001s
  user	0m0.000s
  sys	0m0.000s
[ Parent | on HN ]

There are no comments on this comment yet.