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 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 ]