man pages section 1: User Commands

times(1)

Name

times - shell built-in function to report time usages of the current shell

Synopsis

sh

times 

ksh

times 

Description

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.

Attributes

See attributes(5) for descriptions of the following attributes:

See Also

ksh(1), sh(1), time(1), attributes(5)