The reason 'enable' does not list the 'time' builtin is that in bash 'time' is a keyword, not a builtin. The reason is because syntactically bash's 'time' governs an entire pipeline, not just a single command. See the section "Pipelines" of the bash man page.
Besides using /usr/bin/time, you can ensure you launch the time(1) executable by using 'command time' or 'time' in quotes: /usr/bin/time --help command time --help 'time' --help It would perhaps be nice if this keyword were disabled in Posix mode, or if it could be disabled some other way, but I'm not sure how difficult that would be to implement. -- Neil Moore, [email protected], http://s-z.org/neil/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
