diff options
| author | Michael Kerrisk <mtk.manpages@gmail.com> | 2008-11-14 09:05:47 -0500 |
|---|---|---|
| committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2008-11-25 20:53:59 -0500 |
| commit | e194cb7c478193dcf06425e3188dc35f610c5209 (patch) | |
| tree | 4caccfe26b94ddb4c524565d9a40012c0a13f4e7 /man1 | |
| parent | 2fac17032a77e11bd7c30fbf261a66e752a5831c (diff) | |
time.1: Note that some shells have a 'time' built-in command
Therefore, to access the functionality described on this page,
it may be necessary to specify the full pathname.
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Reported-by: Ivana Varekova <varekova@redhat.com>
Diffstat (limited to 'man1')
| -rw-r--r-- | man1/time.1 | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/man1/time.1 b/man1/time.1 index ede25119..c0332c31 100644 --- a/man1/time.1 +++ b/man1/time.1 @@ -4,7 +4,7 @@ .\" Some fragments of text came from the time-1.7 info file. .\" Inspired by kromJx@crosswinds.net. .\" -.TH TIME 1 2007-11-25 "" "Linux User's Manual" +.TH TIME 1 2008-11-14 "" "Linux User's Manual" .SH NAME time \- time a simple command or give resource usage .SH SYNOPSIS @@ -39,6 +39,15 @@ values in a .I "struct tms" as returned by .BR times (2)). + +Note: some shells (e.g., +.BR bash (1)) +have a built-in +.B time +command that provides less functionality than the command described here. +To access the real command, you may need to specify its pathname +(something like +.IR /usr/bin/time ). .SH OPTIONS .TP .B \-p |