diff options
| author | Robert Strack <robert.strack@gmail.com> | 2015-11-16 22:20:26 -0500 |
|---|---|---|
| committer | Robert Strack <robert.strack@gmail.com> | 2015-11-16 22:20:26 -0500 |
| commit | 111dd018b9b821fad2c7899b31aa46b5c0aaa218 (patch) | |
| tree | 66f52ecaca6cf0ec8077eecf442d1ff38ff57ae6 /plugins/timer | |
| parent | d4c74690b61b74e317410df3b80b784891ab55ed (diff) | |
| download | zsh-111dd018b9b821fad2c7899b31aa46b5c0aaa218.tar.gz zsh-111dd018b9b821fad2c7899b31aa46b5c0aaa218.tar.bz2 zsh-111dd018b9b821fad2c7899b31aa46b5c0aaa218.zip | |
allow changes in display format
Diffstat (limited to 'plugins/timer')
| -rw-r--r-- | plugins/timer/timer.plugin.zsh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/timer/timer.plugin.zsh b/plugins/timer/timer.plugin.zsh index 729dd3ee2..33481ea4e 100644 --- a/plugins/timer/timer.plugin.zsh +++ b/plugins/timer/timer.plugin.zsh @@ -4,9 +4,9 @@ __timer_current_time() { __timer_format_duration() { local mins=$(printf '%.0f' $(($1 / 60))) - local secs=$(printf '%.1f' $(($1 - 60 * mins))) + local secs=$(printf "%.${TIMER_PRECISION:-1}f" $(($1 - 60 * mins))) local duration_str=$(echo "${mins}m${secs}s") - echo "\`${duration_str#0m}" + echo "${TIMER_SYMBOL:-\`}${duration_str#0m}" } preexec() { |