From 96148d2275b848dbfb976a58967535067def4210 Mon Sep 17 00:00:00 2001
From: Robert Strack <robert.strack@gmail.com>
Date: Tue, 17 Nov 2015 20:50:30 -0500
Subject: [PATCH] customizable timer format

---
 plugins/timer/timer.plugin.zsh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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() {