Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
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 -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/jjiej1$jrs$5...@dough.gmane.org
Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
On 03/10/2012 04:00 PM, Selim T. Erdogan wrote: 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. Thanks for the explanation. :-) I've filed a bug report: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=663421 David -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f5c45dc.6080...@holgerdanske.com
Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
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 -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/2012031137.gb28...@cs.utexas.edu
Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
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? TIA, David 2012-03-10 14:16:12 dpchrist@p43400e ~ $ time real0m0.000s user0m0.000s sys 0m0.000s 2012-03-10 14:16:17 dpchrist@p43400e ~ $ time -o foo.out echo 'foo' -bash: -o: command not found real0m0.001s user0m0.000s sys 0m0.000s 2012-03-10 14:16:19 dpchrist@p43400e ~ $ time --help -bash: --help: command not found real0m0.001s user0m0.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 -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f5bd417.6050...@holgerdanske.com