How can I make the bash `time' reserved word print timing output that looks like the output from my system's /usr/bin/time?

The bash command timing code looks for a variable `TIMEFORMAT' and

uses its value as a format string to decide how to display the

timing statistics.



The value of TIMEFORMAT is a string with `%' escapes expanded in a

fashion similar in spirit to printf(3).  The manual page explains

the meanings of the escape sequences in the format string.



If TIMEFORMAT is not set, bash acts as if the following assignment had

been performed:



	TIMEFORMAT=$'\nreal\t%3lR\nuser\t%3lU\nsys\t%3lS'



The POSIX.2 default time format (used by `time -p command') is



	TIMEFORMAT=$'real %2R\nuser %2U\nsys %2S'



The BSD /usr/bin/time format can be emulated with:



	TIMEFORMAT=$'\t%1R real\t%1U user\t%1S sys'



The System V /usr/bin/time format can be emulated with:



	TIMEFORMAT=$'\nreal\t%1R\nuser\t%1U\nsys\t%1S'



The ksh format can be emulated with:



	TIMEFORMAT=$'\nreal\t%2lR\nuser\t%2lU\nsys\t%2lS'