O'Reilly logo
  • Martin Bouhenna thinks this is interesting:

/bin/time

From

Cover of Red Hat RHCSA/RHCE 7 Cert Guide: Red Hat Enterprise Linux 7 (EX200 and EX300)

Note

Under RHEL the path of time file is different: /usr/bin/time With minimum Linux configuration, the time command is part of shell only, no executable file installed under /bin