Hello, 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?
I would like to use the time command and send its statistics to some file. Greetings, Stefan Goeman. -- ******************************************************** * SIEMENS ATEA NV * * * * ICN D NC A: * * Ir. Stefan Goeman * * Tel: +32 14 253020 * * e-mail: [EMAIL PROTECTED] * * * * P.S.: Linux is great!! * ******************************************************** ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~