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 ^^-^^
