Re: where does time go

["Thomas Schmitt" <scdbackup@gmx.net>]

Hi,

fxkl47BF@protonmail.com wrote:
> the results of time is not included in the mail
> time sleep 2 2>&1 | mail -s foo bar@localhost

If you are using bash then this "time" is the builtin reserved word:

  Pipelines
    A pipeline is a sequence of one or more commands separated by one
    of the control operators | or |&.  The format for a pipeline is:
       [time [-p]] [ ! ] command [ [|⎪|&] command2 ... ]

Try /usr/bin/time instead, which is a standalone program with own
man page.


Have a nice day :)

Thomas