Re: where does time go
On Fri, 31 Oct 2025, Greg Wooledge wrote:
> On Fri, Oct 31, 2025 at 14:34:57 +0000, fxkl47BF@protonmail.com wrote:
>> i run a command preceded by time and pipe it to mail
>> the results of time is not included in the mail
>>
>> time sleep 2 2>&1 | mail -s foo bar@localhost
>>
>> Null message body; hope that's ok
>>
>> real 0m2.095s
>> user 0m0.011s
>> sys 0m0.002s
>
> https://mywiki.wooledge.org/BashFAQ/032
>
> Short answer: { time sleep 2; } 2>&1 | mail -s foo bar@localhost
>
thanks
i think i knew that sometime in the previous millenia
or was it last week
i forget
Reply to: