2013/11/2 Chet Ramey <chet.ra...@case.edu>
> On 11/1/13, 5:54 PM, Seungbeom Kim wrote:
> > Description:
> > The default value of TIMEFORMAT is incorrectly formatted:
> > it is shown as $'\nreal\t%3lR\nuser\t%3lU\nsys%3lS' in the man
> page,
> > but it should be $'\nreal\t%3lR\nuser\t%3lU\nsys\t%3lS'.
>
> Thanks for the report. This has already been fixed for bash-4.3.
>
I reported this a while back too, and it is changed in the latest devel
branch, but it appears you introduced a different typo:
$'\nreal\t%3lR\nuser\t%3lU\nsys\tt%3lS'
--
Geir Hauge
