mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2024-12-19 20:29:45 +01:00
increased timer's pecision
This commit is contained in:
parent
120e8620af
commit
d4c74690b6
1 changed files with 17 additions and 6 deletions
|
@ -1,14 +1,25 @@
|
||||||
|
__timer_current_time() {
|
||||||
|
perl -MTime::HiRes=time -e'print time'
|
||||||
|
}
|
||||||
|
|
||||||
|
__timer_format_duration() {
|
||||||
|
local mins=$(printf '%.0f' $(($1 / 60)))
|
||||||
|
local secs=$(printf '%.1f' $(($1 - 60 * mins)))
|
||||||
|
local duration_str=$(echo "${mins}m${secs}s")
|
||||||
|
echo "\`${duration_str#0m}"
|
||||||
|
}
|
||||||
|
|
||||||
preexec() {
|
preexec() {
|
||||||
__timer_cmd_start_time=$(date '+%s')
|
__timer_cmd_start_time=$(__timer_current_time)
|
||||||
}
|
}
|
||||||
|
|
||||||
precmd() {
|
precmd() {
|
||||||
if [ -n "$__timer_cmd_start_time" ]; then
|
if [ -n "${__timer_cmd_start_time}" ]; then
|
||||||
local cmd_end_time=$(date '+%s')
|
local cmd_end_time=$(__timer_current_time)
|
||||||
local tdiff=$((cmd_end_time - __timer_cmd_start_time))
|
local tdiff=$((cmd_end_time - __timer_cmd_start_time))
|
||||||
unset __timer_cmd_start_time
|
unset __timer_cmd_start_time
|
||||||
local tdiffstr="$((tdiff / 60))m$((tdiff % 60))s"
|
local tdiffstr=$(__timer_format_duration ${tdiff})
|
||||||
local cols=$((COLUMNS - ${#tdiffstr#0m} - 2))
|
local cols=$((COLUMNS - ${#tdiffstr} - 1))
|
||||||
echo -e "\033[1A\033[${cols}C \`${tdiffstr#0m}"
|
echo -e "\033[1A\033[${cols}C ${tdiffstr}"
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue