TIMES(1) User Commands TIMES(1)
NAME
times - shell built-in function to report time usages of the current
shell
SYNOPSIS
sh times ksh timesDESCRIPTION
sh Print the accumulated user and system times for processes run from
the shell.
ksh Print the accumulated user and system times for the shell and for
processes run from the shell.
On this man page,
ksh(1) commands that are preceded by one or two *
(asterisks) are treated specially in the following ways:
1. Variable assignment lists preceding the command remain in
effect when the command completes.
2. I/O redirections are processed after variable assignments.
3. Errors cause a script that contains them to abort.
4. Words, following a command preceded by ** that are in the
format of a variable assignment, are expanded with the
same rules as a variable assignment. This means that
tilde substitution is performed after the
= sign and word
splitting and file name generation are not performed.
SEE ALSO
ksh(1),
sh(1),
time(1),
attributes(7) April 15, 1994 TIMES(1)
