[Top][All Lists]

[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: Gecko/20060909 Thunderbird/ Mnenhy/

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?

Will your shell have salvation? Only if it's Bourne Again.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]