Displaying 1 result from an estimated 1 matches for "1157167".
Did you mean:
1157168
2017 Dec 01
5
time foo
Gordon Messmer wrote:
> On 12/01/2017 08:49 AM, hw wrote:
>> # time foo
>> real 43m39.841s
>> user 15m31.109s
>> sys 0m44.136s
>>
>>
>> Almost 30 minutes have disappeared, but it actually took about that long,
>> so what happened?
>
>
> I may misunderstand your question, but
>
> "time" is provided by the bash