ohmyzsh/plugins/timer/timer.plugin.zsh

15 lines
410 B
Bash
Raw Normal View History

2015-11-14 05:42:21 +01:00
preexec() {
__timer_cmd_start_time=$(date '+%s')
}
precmd() {
if [ -n "${__timer_cmd_start_time}" ]; then
local cmd_end_time=$(date '+%s')
local tdiff=$((${cmd_end_time} - ${__timer_cmd_start_time}))
unset __timer_cmd_start_time
2015-11-15 05:13:44 +01:00
local tdiffstr="$((tdiff / 60))m$((tdiff % 60))s"
local cols=$(($COLUMNS - ${#tdiffstr#0m} - 2))
echo -e "\033[1A\033[${cols}C \`${tdiffstr#0m}"
2015-11-14 05:42:21 +01:00
fi
}