time
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: Stefan.Goeman@siemens.atea.be *
* *
* P.S.: Linux is great!! *
********************************************************
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Reply to:
- Follow-Ups:
- Re: time
- From: cjw44@flatline.org.uk (Colin Watson)
- Re: time
- From: Moritz Schulte <tux@gmx.li>