Re: times posix special builtin

On 11/3/23 5:16 AM, Mike Jonkmans wrote: Hi, The 'times' utility is not listed as a posix special builtin in doc/bashref.texi It can be fixed by changing: @w{shift trap unset} to: @w{shift times trap unset} Thanks for the report. Chet -- ``The lyf so short, the craft so long

times posix special builtin

Hi, The 'times' utility is not listed as a posix special builtin in doc/bashref.texi It can be fixed by changing: @w{shift trap unset} to: @w{shift times trap unset} -- Regards, Mike Jonkmans