TIMEFMT variable - request for extension

TIMEFMT variable - request for extension

[hall]

Dear Zsh Users,
	Does anyone know of a simple way to get the format of the time report
to print in HH:MM:SS format? I have read the zshparam.1 man page and don't
see such an option. The closest thing to it is %E, the elapsed user time in 
seconds. However, seeing  "3600.12" seconds is not as user friendly as
"1:00:00.12". Thanks. :-)


------------------------------------------------------------------------------
Jeffrey S. Hall				Luke: "At the rate they're gaining!?"
					Han: "Traveling through hyperspace
Office:					       ain't like dusting crops, boy.
Naval Undersea Warfare Center (NUWC)           Without precise calculations
New London, CT				       you could fly right through a
06320                              	       star or bounce off in to a
(203) 440-6558 / 440-4764		       super nova, and that would end
                                               your trip real quick, wouldn't
                                               it?"
					 -- scene from 'Star Wars'
e-mail: hall@vivaldi.nl.nuwc.navy.mil
------------------------------------------------------------------------------