From e194cb7c478193dcf06425e3188dc35f610c5209 Mon Sep 17 00:00:00 2001 From: Michael Kerrisk Date: Fri, 14 Nov 2008 09:05:47 -0500 Subject: [PATCH] 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 Reported-by: Ivana Varekova --- man1/time.1 | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/man1/time.1 b/man1/time.1 index ede251193..c0332c315 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