It may be a newbie's question, but I don't understand how this is configured and why the output format of time
command is different in these two cases:
if used via time
, the output is three rows with basic info
$ time sleep 1
real 0m1.003s
user 0m0.000s
sys 0m0.000s
then I can check out which binary is used
$ which time
/usr/bin/time
and call it directly to get output in a completely different format, with much more info
$ /usr/bin/time sleep 1
0.00user 0.00system 0:01.00elapsed 0%CPU (0avgtext+0avgdata 2000maxresident)k
0inputs+0outputs (0major+77minor)pagefaults 0swaps
there are no aliases related to time
$ alias | grep time
$
I'm running Ubuntu 16.04
.
which
is basically useless...