diff options
| author | Robert Strack <robert.strack@gmail.com> | 2015-11-14 23:48:26 -0500 |
|---|---|---|
| committer | Robert Strack <robert.strack@gmail.com> | 2015-11-14 23:48:26 -0500 |
| commit | 120e8620af6e1d7d01159614186403c7a816457d (patch) | |
| tree | 807ce812237eea7108d6334a6bc2e7b69a870f33 | |
| parent | 1b8f05a3d395c107d81724445cac7fcd599942d8 (diff) | |
| download | zsh-120e8620af6e1d7d01159614186403c7a816457d.tar.gz zsh-120e8620af6e1d7d01159614186403c7a816457d.tar.bz2 zsh-120e8620af6e1d7d01159614186403c7a816457d.zip | |
cleaning up
| -rw-r--r-- | plugins/timer/timer.plugin.zsh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/timer/timer.plugin.zsh b/plugins/timer/timer.plugin.zsh index f73d2ab53..ee2cb66c1 100644 --- a/plugins/timer/timer.plugin.zsh +++ b/plugins/timer/timer.plugin.zsh @@ -3,12 +3,12 @@ preexec() { } precmd() { - if [ -n "${__timer_cmd_start_time}" ]; then + if [ -n "$__timer_cmd_start_time" ]; then local cmd_end_time=$(date '+%s') - local tdiff=$((${cmd_end_time} - ${__timer_cmd_start_time})) + local tdiff=$((cmd_end_time - __timer_cmd_start_time)) unset __timer_cmd_start_time local tdiffstr="$((tdiff / 60))m$((tdiff % 60))s" - local cols=$(($COLUMNS - ${#tdiffstr#0m} - 2)) + local cols=$((COLUMNS - ${#tdiffstr#0m} - 2)) echo -e "\033[1A\033[${cols}C \`${tdiffstr#0m}" fi } |