Profiling zshrc (to find slow scripts)

profiling.zsh

typeset -F SECONDS=0
export START_TIME=$SECONDS

if [ -e ~/.profiling ]; then
  echo "zshrc started"

  source() {
    local before=$SECONDS
    . $*
    local duration=$((($SECONDS - $before) * 1000))
    echo "$(printf '%7.2f' $duration)ms $*"
  }
fi

# INIT CODE HERE

# show total load time
duration=$((($SECONDS - $START_TIME) * 1000))
echo "\033[1;30m($(printf '%.2f' $duration)ms)\033[0m"