Plugin for ZSH who display execution time of last commnand

Plugin will create a global variable that can be displayed in prompts.

Example

PROMPT='$pr_exec_time ...REST OF PROMPT'

Screenshot

This plugin made to be fast. It runs in background and update information only if need.

Installation

This plugin depends on pretty-time-zsh

If you don't use zpm, install it manually and activate it before this plugin. If you use zpm you don’t need to do anything

If you use oh-my-zsh

• Clone this repository into ~/.oh-my-zsh/custom/plugins

cd ~/.oh-my-zsh/custom/plugins
git clone https://github.com/zpm-zsh/pr-exec-time

• After that, add pr-exec-time to your oh-my-zsh plugins array.

If you use Zgen

1. Add zgen load zpm-zsh/pr-exec-time to your .zshrc with your other plugin
2. run zgen save

If you use my ZPM

• Add zpm load zpm-zsh/pr-exec-time into your .zshrc