Re: Odd bash behaviour with time:

[Ryan Cunningham]

Sorry---I misunderstood.

Sent from my iPod

On Oct 31, 2014, at 6:40 PM, Ryan Cunningham <rvskmbrly3@gmail.com> wrote:

> On Oct 31, 2014, at 6:12 PM, jon <jon@jonshouse.co.uk> wrote:
> 
>> Maybe it should be more like this:
>> 
>> # time
>> Error, 'time' with no arguments is only meaningful in posix mode
> Or maybe like this (to be more like the standard BASH error format):
> 
> bash: time: an argument is required (POSIX mode disabled)
> 
> Sent from my iPod