Date: Thu, 20 Apr 2017 14:58:56 +0200 From: Polytropon <freebsd@edvax.de> To: freebsd-questions@freebsd.org Subject: Re: awk help Message-ID: <20170420145856.9e852d30.freebsd@edvax.de> In-Reply-To: <dbda6995-0bd1-00db-63d5-80b91622212f@gmail.com> References: <58F25A01.1060208@gmail.com> <7951DF71-5CD3-4B53-9CB4-13CAA8945983@huiekin.org> <58F4CD14.7090008@gmail.com> <c95e03d2-986d-3c3c-198a-a28ab862dc70@gmail.com> <58F53EEA.2030206@gmail.com> <7b381f8f-e2a5-26ea-075e-96ae35efb25d@rogers.com> <58F61027.3090100@gmail.com> <aed3ad4b-7013-471f-8b11-bc717230cff0@gmail.com> <b7c0da1d-e659-1430-9530-37993f9182b3@gmail.com> <58F77BFE.50108@gmail.com> <dbda6995-0bd1-00db-63d5-80b91622212f@gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Thu, 20 Apr 2017 14:54:33 +0200, Andreas Perstinger wrote:
> On 2017-04-19 17:02, Ernie Luzar wrote:
> > I used the date command to time the runs, problem is it only goes to a
> > second. What is really needed here is a timer in hundredths of a second.
> > Is there such a command that does that?
>
> There is the "time" command for timing the execution of a command/script.
The C shell has a builtin time command (very convenient for
interactive use), and there's also /usr/bin/time which can
be used from within a sh script.
Example:
% which time
time: shell built-in command.
% time ls
0.012u 0.000s 0:00.03 33.3% 24+840k 0+0io 0pf+0w
For comparison:
% /usr/bin/time ls
0.03 real 0.00 user 0.00 sys
--
Polytropon
Magdeburg, Germany
Happy FreeBSD user since 4.0
Andra moi ennepe, Mousa, ...
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20170420145856.9e852d30.freebsd>