Sorry---I misunderstood. Sent from my iPod
On Oct 31, 2014, at 6:40 PM, Ryan Cunningham <rvskmbr...@gmail.com> wrote: > On Oct 31, 2014, at 6:12 PM, jon <j...@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