Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
TIMEFMT variable - request for extension
- X-seq: zsh-users 12
- From: hall@xxxxxxxxxxxxxxxxxxxxxx
- To: zsh-users@xxxxxxxxxxxxxxx
- Subject: TIMEFMT variable - request for extension
- Date: Tue, 06 Jun 95 10:58:52 -0400
- Cc: hall@xxxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxxx
------------------------------------------------------------------------------
Messages sorted by:
Reverse Date,
Date,
Thread,
Author