mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2024-11-12 00:40:07 +00:00
customizable timer format
This commit is contained in:
parent
111dd018b9
commit
96148d2275
1 changed files with 2 additions and 1 deletions
|
@ -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() {
|
||||
|
|
Loading…
Reference in a new issue