bug-bash
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: builtin time

From: mwoehlke
Subject: Re: builtin time
Date: Wed, 11 Oct 2006 12:13:58 -0500
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.0.7) Gecko/20060909 Thunderbird/1.5.0.7 Mnenhy/0.7.4.0 
Gabor Mayer wrote:

GNU bash, version 3.1.17(1)-release (x86_64-pc-linux-gnu)
# builtin time
bash: builtin: time: not a shell builtin


$ type time
time is a shell keyword
I don't think this is a bug, even though it feels like one. :-) 'time' is a keyword like 'if', 'for', 'do', 'function', etc. (see RESERVED KEYWORDS in the manpage). Why do you need to invoke it with 'builtin', anyway? 

--
Matthew
Will your shell have salvation? Only if it's Bourne Again.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]