[ale] gnu time

[Ed Cashin]

On Wed, Feb 17, 2010 at 1:57 PM, Lightner, Jeff <jlightner at water.com> wrote:
> I think its using a shell built in.  Try doing “which time” (should be in
> /usr/bin/time) and using full path name for time so it doesn’t use the shell
> built in.

The "type" shell builtin is a nice way to quickly identify
shell builtins in bash.

ecashin at meili:~$ uname
Linux
ecashin at meili:~$ which time
/usr/bin/time
ecashin at meili:~$ type time
time is a shell keyword
ecashin at meili:~$

Another hair-pulling builtin is "test", which can differ
from the /usr/bin/test or /bin/test in subtle ways.

-- 
  Ed Cashin <ecashin at noserose.net>
  http://noserose.net/e/
  http://www.coraid.com/