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 <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] > > > -- > Unsubscribe? mail -s unsubscribe [EMAIL PROTECTED] < /dev/null -- ******************************************************** * SIEMENS ATEA NV * * * * ICN D NC A: * * Ir. Stefan Goeman * * Tel: +32 14 253020 * * e-mail: [EMAIL PROTECTED] * * * * P.S.: Linux is great!! * ******************************************************** ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
