1
0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-11-29 05:03:52 +08:00
ohmyzsh/plugins/timer/timer.plugin.zsh

15 lines
401 B
Bash
Raw Normal View History

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