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
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
Reply to: