[linux] time %PCPU

[Dick Stomp]

Zeer bedankt, Paul!
Ik hoef alleen maar mijn BASH-handboek te raadplegen om het ook te gaan
begrijpen.
Met groet,
Dick

Op za 22 feb. 2020 om 16:37 schreef Paul Slootman <paul+nospam op wurtel.net>:

> On Fri 21 Feb 2020, Dick Stomp wrote:
>
> > Sorry beste mensen, ik ben vreselijk nieuwsgierig waar jullie over
> praten.
> > Het begon met "twee spaties voor de kantlijn"...
>
> Geert heeft braaf een nieuwe thread voor zijn vraag gestart, dus het is
> niet echt een continuatie van de twee spaties discussie :)
>
> Het gaat om de verschillende outputs van:
>
> $ sleep 0 | time date
>
> en
>
> $ time date
>
> en waar die verschillen vandaan komen.
>
> Bij de laatste wordt geen aparte "time" executable aangeroepen maar een
> ingebouwde functie binnen de bash shell.
>
> Bij de 1e wordt vanwege de pipe wel een aparte executable aangeroepen,
> met een heel ander output dan de bash versie. Die moet dan wel
> geinstalleerd zijn, anders krijg je "time: command not found" o.i.d.
>
>
>
> Paul
>


-- 
https://sites.google.com/site/dickstomp/
------------- volgend deel ------------
Een HTML-bijlage is gescrubt...
URL: <https://lists.nllgg.nl/pipermail/linux/attachments/20200222/52c87f50/attachment.htm>