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