config/zsh/plugins/timer.zsh


1
2
3
4
5
6
7
8
9
10
11
12
13

function preexec() {
  timer=$(($(date +%s%0N)/1000000))
}

function precmd() {
  if [ $timer ]; then
    now=$(($(date +%s%0N)/1000000))
    elapsed=$(($now-$timer))

    export RPROMPT="%F{magenta}${elapsed}ms %{$reset_color%}"
    unset timer
  fi
}