Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
- From: "Selim T. Erdogan" <selim@xxxxxxxxxxxxxxxxxxxx>
- Date: Sat, 10 Mar 2012 18:00:37 -0600
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-REQUEST@xxxxxxxxxxxxxxxx
with a subject of "unsubscribe". Trouble? Contact listmaster@xxxxxxxxxxxxxxxx
Archive: http://lists.debian.org/20120311000037.GB28937@xxxxxxxxxxxxx
- Follow-Ups:
- Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
- From: Camaleón
- Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
- From: David Christensen
- Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
- References:
- Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
- From: David Christensen
- Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
- Prev by Date: Re: big problem with TP-LINK WiFi card
- Next by Date: Re: How to share the Internet with Linux and an iPad by Wi-Fi?
- Previous by thread: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
- Next by thread: Re: Debian 6.0.4 i386 /usr/bin/time command line arguments broken?
- Index(es):
Relevant Pages
|