[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The default value of TIMEFORMAT is incorrectly formatted
From: |
Geir Hauge |
Subject: |
Re: The default value of TIMEFORMAT is incorrectly formatted |
Date: |
Sat, 2 Nov 2013 22:21:58 +0100 |
2013/11/2 Chet Ramey <chet.ramey@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