Re: Problem with time command

To: debian-user@lists.debian.org
Subject: Re: Problem with time command
From: John Hasler <jhasler@debian.org>
Date: Tue, 12 Apr 2011 07:40:05 -0500
Message-id: <[🔎] 87pqortzh6.fsf@thumper.dhh.gt.org>
Reply-to: john@dhh.gt.org (John Hasler)
In-reply-to: <[🔎] 4DA3DF7F.7010000@gmail.com> (Scott Ferguson's message of "Tue, 12 Apr 2011 15:13:35 +1000")
References: <[🔎] BANLkTimHMYNirW_3ai2ty_bsDQW8f=UBQw@mail.gmail.com> <[🔎] 4DA3DF7F.7010000@gmail.com>

Scott Ferguson writes:
> Time *requires* a command before any arguments

That's the builtin.  Try "/usr/bin/time --version".
-- 
John Hasler

Reply to:

Follow-Ups:
- Re: Problem with time command
  - From: Scott Ferguson <prettyfly.productions@gmail.com>

References:
- Problem with time command
  - From: Fabio Dellacorte <iloveyoumaryanna@gmail.com>
- Re: Problem with time command
  - From: Scott Ferguson <prettyfly.productions@gmail.com>