Re:/usr/bin/time: not the command you think you know
by ams6110 on Monday March 06, 2017 @10:51PM
(#13808132)
It's a BSD thing.
[ Parent
| on HN ]
Re:/usr/bin/time: not the command you think you know
by ramshorns on Monday March 06, 2017 @11:35PM
(#13808302)
There's a GNU time as well, but it appears not to always be installed by default.
Re:/usr/bin/time: not the command you think you know
by voltagex_ on Tuesday March 07, 2017 @12:10AM
(#13808412)
Yep.
GNU source: http://git.savannah.gnu.org/cgit/time.git/tree/
BSD source: https://github.com/freebsd/freebsd/blob/f5d95e1f8d32db4ccccf...
Busybox source: https://github.com/mirror/busybox/blob/f88e3bfa8ded4f1c7e7d2...
Toybox source: https://github.com/landley/toybox/blob/master/toys/posix/tim...
This would have been a lot easier if I'd known GitHub has a `filename:` search