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 yrro on Tuesday March 07, 2017 @05:52AM (#13809517)
You can also use the 'command' built-in to skip aliases and shell functions.

$ command time --version GNU time 1.7

[ Parent | on HN ]

There are no comments on this comment yet.