Re: time

[stefan goeman <Stefan.Goeman@siemens.atea.be>]

Hello,

Just found this out myself at almost the same time when i received the mail.

Thank you anyway.

Greetings,

Stefan Goeman

On Thu, Oct 19, 2000 at 05:45:16PM +0100, Colin Watson wrote:
> stefan goeman <Stefan.Goeman@siemens.atea.be> wrote:
> >I want to use the time command. From the man page I see that there is an option
> >+-o (or --output=FILE). However, when I try this, it does not work. In fact, I
> >+have the impression that only the -p option is really working. Is this
> >a bug or+simply some options that are documented but not implemented
> >yet?
> 
> 'time' also happens to be a bash reserved word, with fewer options: see
> 'help time' and the "Pipelines" section in 'man bash'. If you want to
> use the standalone version described in the man page, invoke it as
> '/usr/bin/time'.
> 
> (It took me to grab the source for the package, compile it, and wonder
> why the freshly compiled binary was working differently to the one I got
> by default before I worked out what the problem was, though ...)
> 
> -- 
> Colin Watson                                     [cjw44@flatline.org.uk]
> 
> 
> -- 
> Unsubscribe?  mail -s unsubscribe debian-user-request@lists.debian.org < /dev/null

-- 
********************************************************
*                 SIEMENS ATEA NV                      *
*                                                      *
*  ICN D NC A:                                         *
*    Ir. Stefan Goeman                                 *
*    Tel: +32 14 253020                                *
*    e-mail: Stefan.Goeman@siemens.atea.be             *
*                                                      *
*  P.S.: Linux is great!!                              *
********************************************************
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~