On 11/1/13, 5:54 PM, Seungbeom Kim wrote: > Configuration Information [Automatically generated, do not change]: > Machine: x86_64 > OS: linux-gnu > Compiler: gcc > Compilation CFLAGS: -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64' > -DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='x86_64-pc-linux-gnu' > -DCONF_VENDOR='pc' -DLOCALEDIR='/usr/share/locale' -DPACKAGE='bash' -DSHELL > -DHAVE_CONFIG_H -I. -I../bash -I../bash/include -I../bash/lib > -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 > -Wformat -Werror=format-security -Wall > uname output: Linux cardinal3.stanford.edu 3.8.0-31-generic #46-Ubuntu SMP > Tue Sep 10 20:03:44 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux > Machine Type: x86_64-pc-linux-gnu > > Bash Version: 4.2 > Patch Level: 45 > Release Status: release > > 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. Chet -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/