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/20120311000037.gb28...@cs.utexas.edu
