Re: bug in 'time' ?
On Thu, 25 Oct 2001 09:36:58 +0200 (MET DST), BURLET Frederic wrote:
>I don't know if it is a bug but I don't manage to use options with the
>command 'time'.
[...]
>$ time -v ./myprog
>bash: -v: command not found
If you take a close look you will see that BASH itself outputs the above
message. In fact you are invoking the bash-internal "time" command.
If you want to invoke the GNU shellutils(?) "time" command you need to invoke it
as /usr/bin/time.
--
Verkaufe Original-BMW-Raeder: L I N U X .~.
http://adsl-bergs.rz.rwth-aachen.de/~rabe The Choice /V\
of a GNU /( )\
Generation ^^-^^
Reply to: