awk help

Polytropon freebsd at
Thu Apr 20 12:59:07 UTC 2017

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.


% 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

Magdeburg, Germany
Happy FreeBSD user since 4.0
Andra moi ennepe, Mousa, ...

More information about the freebsd-questions mailing list