There's a GNU time as well, but it appears not to always be installed by default... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

ramshorns on March 7, 2017 | parent | context | favorite | on: /usr/bin/time: not the command you think you know

There's a GNU time as well, but it appears not to always be installed by default.

voltagex_ on March 7, 2017 [–]

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

Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact