diff options
| author | dana <dana@dana.is> | 2017-12-13 20:49:58 -0600 |
|---|---|---|
| committer | Peter Stephenson <pws@zsh.org> | 2017-12-14 15:36:46 +0000 |
| commit | cb04ae40af123da88bf0209964965d17a9486325 (patch) | |
| tree | 505bcf82722f7fa68050c7267068be40df5b0744 /Src/jobs.c | |
| parent | a3d92298ff9dd14c98b01c76d7e374499fd27ae7 (diff) | |
| download | zsh-cb04ae40af123da88bf0209964965d17a9486325.tar.gz zsh-cb04ae40af123da88bf0209964965d17a9486325.tar.xz zsh-cb04ae40af123da88bf0209964965d17a9486325.zip | |
add millisecond and microsecond options to TIMEFMT variable
Diffstat (limited to 'Src/jobs.c')
| -rw-r--r-- | Src/jobs.c | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Src/jobs.c b/Src/jobs.c index 226e7cff3..fc5bfacc6 100644 --- a/Src/jobs.c +++ b/Src/jobs.c @@ -728,6 +728,40 @@ printtime(struct timeval *real, child_times_t *ti, char *desc) case 'S': fprintf(stderr, "%4.2fs", system_time); break; + case 'm': + switch (*++s) { + case 'E': + fprintf(stderr, "%0.fms", elapsed_time * 1000.0); + break; + case 'U': + fprintf(stderr, "%0.fms", user_time * 1000.0); + break; + case 'S': + fprintf(stderr, "%0.fms", system_time * 1000.0); + break; + default: + fprintf(stderr, "%%m"); + s--; + break; + } + break; + case 'u': + switch (*++s) { + case 'E': + fprintf(stderr, "%0.fus", elapsed_time * 1000000.0); + break; + case 'U': + fprintf(stderr, "%0.fus", user_time * 1000000.0); + break; + case 'S': + fprintf(stderr, "%0.fus", system_time * 1000000.0); + break; + default: + fprintf(stderr, "%%u"); + s--; + break; + } + break; case '*': switch (*++s) { case 'E': |