[linux] time %PCPU

[Geert Stappers]

On Fri, Feb 21, 2020 at 09:23:17AM +0100, Paul Slootman wrote:
> 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"
> 
> 

Goed om te weten.  Van `echo` wist ik dat er een "built-in"
en een executable is.  Van `time` nu dus ook.


Dank
Geert Stappers
-- 
Silence is hard to parse