/usr/bin/time: not the command you think you know

Re:/usr/bin/time: not the command you think you know by hobarrera on Monday March 06, 2017 @10:26PM (#13808042)

    $ which time
    time: shell reserved word
    $ ls /usr/bin/time /bin/time
    ls: cannot access '/usr/bin/time': No such file or directory
    ls: cannot access '/bin/time': No such file or directory

Looks like something specific to the author's distribution.

[ Parent | on HN ]

Re:/usr/bin/time: not the command you think you know by dredmorbius on Monday March 06, 2017 @11:11PM (#13808215)

On my Android system with Termux installed, the system 'time' is the Busybox implementation, so yes, YMMV.

Which gives new meaning to the relativity and vagueries of time....

[ Parent | on HN ]

Re:/usr/bin/time: not the command you think you know by kylek on Monday March 06, 2017 @11:00PM (#13808168)

Exists on a debian(/testing?) system I've:

$ time ls / bin boot dev etc home lib lib64 lost+found media mnt opt proc root run sbin srv sys tmp usr var

real 0m0.004s

user 0m0.000s

sys 0m0.000s

$ /usr/bin/time ls /

bin boot dev etc home lib lib64 lost+found media mnt opt proc root run sbin srv sys tmp usr var

0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 2304maxresident)k

0inputs+0outputs (0major+109minor)pagefaults 0swaps

Edit: formatting

[ Parent | on HN ]

Re:/usr/bin/time: not the command you think you know by kevinoid on Monday March 06, 2017 @11:06PM (#13808190)

Sometimes. It depends whether you have the time[1] package installed.

1. https://packages.debian.org/sid/time

[ Parent | on HN ]

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.

[ Parent | on HN ]

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

[ Parent | on HN ]

Re:/usr/bin/time: not the command you think you know by myrandomcomment on Monday March 06, 2017 @10:31PM (#13808070)

He is on MacOS.

[ Parent | on HN ]

Re:/usr/bin/time: not the command you think you know by pmontra on Tuesday March 07, 2017 @03:12AM (#13808983)

It's time -l on BSD derivatives and time -v on GNU userlands.

[ Parent | on HN ]