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

[Camaleón <noelamac@gmail.com>]

On Sat, 10 Mar 2012 18:00:37 -0600, Selim T. Erdogan wrote:

> 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...]

Escaping the command seems to do the same trick:

sm01@stt008:~$ \time --help
Usage: time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--quiet] [--help] command [arg...]

Greetings,

-- 
Camaleón