On 24 November 2012 16:03, John <[email protected]> wrote:

> Tell me:

[...]
> 2) How did you get it to display the statistics about the command (like user, 
> system, CPU %, etc.)?

I think I can answer that one.

$ time ls

real    0m0.002s
user    0m0.000s
sys     0m0.000s
$ /usr/bin/time ls
0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 3616maxresident)k
0inputs+0outputs (0major+288minor)pagefaults 0swaps
$ which time
/usr/bin/time
$ type time
time is a shell keyword

Use /usr/bin/time if you want the same output as Ole.

If you only gets this kind of output from using time:
$ time ls

real    0m0.002s
user    0m0.000s
sys     0m0.000s

Then it is because you are using a time that it bulitin your the shell eg. bash.


Regards
Martin

Reply via email to