Re: time
stefan goeman <Stefan.Goeman@siemens.atea.be> 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 <moritz@hp9001.fh-bielefeld.de>
* http://hp9001.fh-bielefeld.de/~moritz/
* PGP-Key available, encrypted Mail is welcome.
*/
Reply to:
- Follow-Ups:
- Re: time
- From: cjw44@flatline.org.uk (Colin Watson)
- References:
- time
- From: stefan goeman <Stefan.Goeman@siemens.atea.be>