[linux] time %PCPU

[Paul Slootman]

On Thu 20 Feb 2020, Geert Stappers wrote:
> On Thu, Feb 20, 2020 at 01:47:41PM +0100, Paul Slootman wrote:
> > 
> > # ps faxu | time awk '{print $1}' > /dev/null
> > 0.00user 0.00system 0:00.18elapsed 1%CPU (0avgtext+0avgdata 2472maxresident)k
> > 0inputs+0outputs (0major+108minor)pagefaults 0swaps
> > 
> > # ps faxu | time cut -f1 > /dev/null
> > 0.00user 0.00system 0:00.18elapsed 5%CPU (0avgtext+0avgdata 1796maxresident)k
> > 0inputs+0outputs (0major+76minor)pagefaults 0swaps
> 
> 
> Van `time` krijg ik normaal regels als
> 
>  real	0m0,006s
>  user	0m0,005s
>  sys	0m0,001s

Dat is de bash builtin time commando, die wordt gebruikt als je het
vooraan een regel zet.

Zodra je het in een pipe gebruikt o.i.d. dan wordt /usr/bin/time (indien
geinstalleerd, apt install time) en die geeft de output zoals boven
staat.


> Manual page van diezelfde `time` zegt
> 
>   Otherwise, a built-in default format is used.  The default format is:
>      %Uuser %Ssystem %Eelapsed %PCPU (%Xtext+%Ddata %Mmax)k
>      %Iinputs+%Ooutputs (%Fmajor+%Rminor)pagefaults %Wswaps

Dat is dus van /usr/bin/time

> Waarom komt de "default"  anders niet?

De bash builtin
"help time"


Paul