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.
_______________________________________________
Bug-bash mailing list
Bug-bash@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-bash
