You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
zmodload zsh/datetime
__timer_current_time() { zmodload zsh/datetime echo $EPOCHREALTIME }
__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") local format="${TIMER_FORMAT:-/%d}" echo "${format//\%d/${duration_str#0m}}" }
__timer_save_time_preexec() { __timer_cmd_start_time=$(__timer_current_time) }
__timer_display_timer_precmd() { if [ -n "${__timer_cmd_start_time}" ]; then local cmd_end_time=$(__timer_current_time) local tdiff=$((cmd_end_time - __timer_cmd_start_time)) unset __timer_cmd_start_time if [[ -z "${TIMER_THRESHOLD}" || ${tdiff} -ge "${TIMER_THRESHOLD}" ]]; then local tdiffstr=$(__timer_format_duration ${tdiff}) local cols=$((COLUMNS - ${#tdiffstr} - 1)) echo -e "\033[1A\033[${cols}C ${tdiffstr}" fi fi }
autoload -U add-zsh-hook add-zsh-hook preexec __timer_save_time_preexec add-zsh-hook precmd __timer_display_timer_precmd
|