timer.plugin.zsh 401 Bytes
Newer Older
1
2
3
4
5
preexec() {
  __timer_cmd_start_time=$(date '+%s')
}

precmd() {
Robert Strack's avatar
Robert Strack committed
6
  if [ -n "$__timer_cmd_start_time" ]; then
7
    local cmd_end_time=$(date '+%s')
Robert Strack's avatar
Robert Strack committed
8
    local tdiff=$((cmd_end_time - __timer_cmd_start_time))
9
    unset __timer_cmd_start_time
10
    local tdiffstr="$((tdiff / 60))m$((tdiff % 60))s"
Robert Strack's avatar
Robert Strack committed
11
    local cols=$((COLUMNS - ${#tdiffstr#0m} - 2))
12
    echo -e "\033[1A\033[${cols}C \`${tdiffstr#0m}"
13
14
  fi
}