Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?

["Selim T. Erdogan" <selim@alumni.cs.utexas.edu>]

David Christensen, 10.03.2012:
> debian-user:
> 
> I was attempting to use the "time" command to do some benchmarking
> today, and it seems that command line arguments are broken (see
> console session, below).
> 
> 
> Any suggestions?

This came up on the list very recently.  There's a bash reserved word 
"time" so you need to give the full path for the program time.

$ /usr/bin/time --help
Usage: /usr/bin/time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--quiet] [--help] command [arg...]


> TIA,
> 
> David
> 
> 
> 
> 2012-03-10 14:16:12 dpchrist@p43400e ~
> $ time
> 
> real	0m0.000s
> user	0m0.000s
> sys	0m0.000s
> 
> 2012-03-10 14:16:17 dpchrist@p43400e ~
> $ time -o foo.out echo 'foo'
> -bash: -o: command not found
> 
> real	0m0.001s
> user	0m0.000s
> sys	0m0.000s
> 
> 2012-03-10 14:16:19 dpchrist@p43400e ~
> $ time --help
> -bash: --help: command not found
> 
> real	0m0.001s
> user	0m0.000s
> sys	0m0.000s
> 
> 2012-03-10 14:16:22 dpchrist@p43400e ~
> $ cat /etc/debian_version
> 6.0.4
> 
> 2012-03-10 14:16:30 dpchrist@p43400e ~
> $ uname -a
> Linux p43400e 2.6.32-5-686 #1 SMP Mon Jan 16 16:04:25 UTC 2012 i686
> GNU/Linux
> 
> 2012-03-10 14:19:01 dpchrist@p43400e ~
> $ set | grep TIME