From 0e9ddbb0bf0cd34500155ea4b03de2e2a38d8ab2 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Mon, 16 Mar 2020 23:33:42 +0100 Subject: Well I'm using Arch again --- .oh-my-zsh/plugins/timer/timer.plugin.zsh | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 .oh-my-zsh/plugins/timer/timer.plugin.zsh (limited to '.oh-my-zsh/plugins/timer/timer.plugin.zsh') diff --git a/.oh-my-zsh/plugins/timer/timer.plugin.zsh b/.oh-my-zsh/plugins/timer/timer.plugin.zsh deleted file mode 100644 index 231134e..0000000 --- a/.oh-my-zsh/plugins/timer/timer.plugin.zsh +++ /dev/null @@ -1,29 +0,0 @@ -__timer_current_time() { - perl -MTime::HiRes=time -e'print time' -} - -__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 - local tdiffstr=$(__timer_format_duration ${tdiff}) - local cols=$((COLUMNS - ${#tdiffstr} - 1)) - echo -e "\033[1A\033[${cols}C ${tdiffstr}" - fi -} - -preexec_functions+=(__timer_save_time_preexec) -precmd_functions+=(__timer_display_timer_precmd) -- cgit v1.2.3