stefan goeman <[EMAIL PROTECTED]> writes:
> 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?
There is a program '/usr/bin/time' and there's a Bash builtin
'time'. If you want to use /usr/bin/time, which this man/info page is
for, run explicitely '/usr/bin/time' and not just 'time'...
moritz
--
/* Moritz Schulte <[EMAIL PROTECTED]>
* http://hp9001.fh-bielefeld.de/~moritz/
* PGP-Key available, encrypted Mail is welcome.
*/
