Hi,
On Tue, Jan 13, 2009 at 13:24, nate wrote:
> Try /usr/bin/time instead of 'time', I believe 'time' is a internal
> command for bash as well.
Right.
However, /usr/bin/time won't accept the syntax above, this will not work:
$ /usr/bin/time { date; }
Of course you can:
$ /usr/bin/time date
O
Jeff wrote:
> Unless somebody else can shed some more light on this, I guess you are
> stuck with output redirection provided by your chosen shell.
Try /usr/bin/time instead of 'time', I believe 'time' is a internal
command for bash as well.
Threw me off for a while as well. (e.g. redirecting ti
On Tue, Jan 13, 2009, Jerry Geis wrote:
>I am trying to get timing paramters from a CGI program.
>date is just a command for example used here.
>
>when I do: time { date; }
>everything is good.
>
>when I do: time -o file { date; }
>I get
> time -o file { date; }
>bash: syntax error near unexpected
On Tue, Jan 13, 2009 at 9:14 AM, Jerry Geis wrote:
> I am trying to get timing paramters from a CGI program.
> date is just a command for example used here.
>
> when I do: time { date; }
> everything is good.
>
> when I do: time -o file { date; }
> I get
> time -o file { date; }
> bash: syntax er
4 matches
Mail list logo
