[ale] gnu time

[Charles Shapiro]

Also "echo", which can differ in subtle ways from /bin/echo. Looks
like in linux it's ok, but I've had experiences where "echo -e \\t"
produces the output "-e \t". This can lead to loads of unexpected
hilarity.

-- CHS



On Wed, Feb 17, 2010 at 11:07 PM, Jim Kinney <jim.kinney at gmail.com> wrote:
> Nice! New toys to test out . Thanks!
>
> On Feb 17, 2010 8:50 PM, "Ed Cashin" <ecashin at noserose.net> wrote:
>
> On Wed, Feb 17, 2010 at 1:57 PM, Lightner, Jeff <jlightner at water.com> wrote:
>> I think its using a s...
>
> 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/
>
> _______________________________________________
> Ale mailing list
> Ale at ale.org
> http://mail.ale.org/ma...
>
> _______________________________________________
> Ale mailing list
> Ale at ale.org
> http://mail.ale.org/mailman/listinfo/ale
> See JOBS, ANNOUNCE and SCHOOLS lists at
> http://mail.ale.org/mailman/listinfo
>
>