diff options
| author | Robert Strack <robert.strack@gmail.com> | 2015-11-17 20:50:30 -0500 |
|---|---|---|
| committer | Robert Strack <robert.strack@gmail.com> | 2015-11-17 20:50:30 -0500 |
| commit | 96148d2275b848dbfb976a58967535067def4210 (patch) | |
| tree | 1804b83441109adb73660bb0a0de9d8e21439d77 /plugins/timer/timer.plugin.zsh | |
| parent | 111dd018b9b821fad2c7899b31aa46b5c0aaa218 (diff) | |
| download | zsh-96148d2275b848dbfb976a58967535067def4210.tar.gz zsh-96148d2275b848dbfb976a58967535067def4210.tar.bz2 zsh-96148d2275b848dbfb976a58967535067def4210.zip | |
customizable timer format
Diffstat (limited to 'plugins/timer/timer.plugin.zsh')
| -rw-r--r-- | plugins/timer/timer.plugin.zsh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/timer/timer.plugin.zsh b/plugins/timer/timer.plugin.zsh index 33481ea4e..f7f039b78 100644 --- a/plugins/timer/timer.plugin.zsh +++ b/plugins/timer/timer.plugin.zsh @@ -6,7 +6,8 @@ __timer_format_duration() { local mins=$(printf '%.0f' $(($1 / 60))) local secs=$(printf "%.${TIMER_PRECISION:-1}f" $(($1 - 60 * mins))) local duration_str=$(echo "${mins}m${secs}s") - echo "${TIMER_SYMBOL:-\`}${duration_str#0m}" + local format="${TIMER_FORMAT:-/%d}" + echo "${format//\%d/${duration_str#0m}}" } preexec() { |