Problem with time command

2011-04-05 Thread Fabio Dellacorte
Hello everybody , i want use option for time command but it doesn't work because intepreted anything as argument : $time --version bash: --version: command not found Thank you

Re: Problem with time command

2011-04-05 Thread Tom Grace
On 05/04/11 17:40, Fabio Dellacorte wrote: Hello everybody , i want use option for time command but it doesn't work because intepreted anything as argument : You may have better luck with the standalone "time" $ /usr/bin/time --version GNU time 1.7 $time --version bash: --version: command n

Re: Problem with time command

2011-04-05 Thread Boyd Stephen Smith Jr.
On 2011-04-05 11:40:51 Fabio Dellacorte wrote: >i want use option for time command but it doesn't work because intepreted >anything as argument : > >$time --version >bash: --version: command not found bss@dellbuntu:~$ time --version bash: --version: command not found real0m0.001s user0m0

Re: Problem with time command

2011-04-06 Thread Chris Jackson
Boyd Stephen Smith Jr. wrote: > GNU time 1.7 > bss@dellbuntu:~$ type time > time is a shell keyword > > (Bash has a time "builtin" that you should avoid if you want to use the time > binary.) Actually it's a keyword not a builtin. By contrast, "kill": chrisj@alice$ type kill kill is a shell b

Re: Problem with time command

2011-04-06 Thread Boyd Stephen Smith Jr.
In <4d9c342a.1090...@shadowcat.co.uk>, Chris Jackson wrote: >Boyd Stephen Smith Jr. wrote: >> GNU time 1.7 >> bss@dellbuntu:~$ type time >> time is a shell keyword >> >> (Bash has a time "builtin" that you should avoid if you want to use the >> time binary.) > >Actually it's a keyword not a builti

Re: Problem with time command

2011-04-06 Thread Chris Jackson
Boyd Stephen Smith Jr. wrote: > In <4d9c342a.1090...@shadowcat.co.uk>, Chris Jackson wrote: >>Boyd Stephen Smith Jr. wrote: >>> GNU time 1.7 >>> bss@dellbuntu:~$ type time >>> time is a shell keyword >>> >>> (Bash has a time "builtin" that you should avoid if you want to use the >>> time binary.)

Re: Problem with time command

2011-04-06 Thread Teemu Likonen
* 2011-04-05T14:02:34-05:00 * Boyd Stephen Smith, Jr. wrote: > bss@dellbuntu:~$ type time > time is a shell keyword There is also this useful option "-a": $ type -a time time is a shell keyword time is /usr/bin/time -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org

Re: Problem with time command

2011-04-11 Thread Scott Ferguson
On 06/04/11 02:40, Fabio Dellacorte wrote: > Hello everybody , > i want use option for time command but it doesn't work because > �intepreted anything as argument : > > > $time --version > bash: --version: command not found > > > Thank you > Time *requires* a command before any arguments - h

Re: Problem with time command

2011-04-12 Thread John Hasler
Scott Ferguson writes: > Time *requires* a command before any arguments That's the builtin. Try "/usr/bin/time --version". -- John Hasler -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: ht

Re: Problem with time command

2011-04-12 Thread Scott Ferguson
On 12/04/11 22:40, John Hasler wrote: > Scott Ferguson writes: >> Time *requires* a command before any arguments > > That's the builtin. Try "/usr/bin/time --version". 'Thanks John', but, please, read the original post:- http://lists.debian.org/debian-user/2011/04/msg00446.html Cheers -- Tutt