linux/ohmyzsh
0
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-09-19 04:01:21 +02:00
Code Issues Projects Releases Wiki Activity

calculating command's execution time

Browse source
This commit is contained in:
Robert Strack 2015-11-13 23:42:21 -05:00
parent 135c3763cc
commit 96d10e2147
1 changed files with 18 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
plugins/timer/timer.plugin.zsh Normal file
View file

@ -0,0 +1,18 @@
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
local tdiffstr='/'
if (( tdiff >= 60 )); then
tdiffstr+="$((tdiff / 60))m"
fi
tdiffstr+="$((tdiff % 60))s"
local cols=$(($COLUMNS - ${#tdiffstr} - 1))
echo -e "\033[1A\033[${cols}C ${tdiffstr}"
fi
}