/pr-exec-time

Plugin for ZSH who display execution time of last commnand

Primary LanguageShellGNU General Public License v3.0GPL-3.0

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

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