This plugin allows to display command's execution time in a very nonintrusive way. Timer can be tuned by these two variables: TIMER_PRECISION allows to control number of decimal places (defaul...