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 eridius on Tuesday March 07, 2017 @04:52PM (#13815342)
The more obvious way of doing this is

  command time echo
The usage of the `command` keyword makes it ignore shell functions (including built-in shell keywords like time).
[ Parent | on HN ]

There are no comments on this comment yet.