diff options
| author | romkatv <roman.perepelitsa@gmail.com> | 2019-07-16 01:47:34 +0300 |
|---|---|---|
| committer | romkatv <roman.perepelitsa@gmail.com> | 2019-07-16 01:47:56 +0300 |
| commit | 0eff9fe1b90b07ddd53502d604186ad2bd6ebe5b (patch) | |
| tree | e839f5b009dff6f5a385d1d595615809da40c879 /config/lean.zsh | |
| parent | 32537cffaa740d7dcb223ac781d1c23fe1ee5958 (diff) | |
less verbose command_execution_time
Diffstat (limited to 'config/lean.zsh')
| -rw-r--r-- | config/lean.zsh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/config/lean.zsh b/config/lean.zsh index 890e7e2b..63c9c8e0 100644 --- a/config/lean.zsh +++ b/config/lean.zsh @@ -147,8 +147,10 @@ fi # Show the signal as INT, ABORT, KILL, etc. typeset -g POWERLEVEL9K_STATUS_ERROR_CONTENT_EXPANSION='${${P9K_CONTENT#SIG}//[!A-Z]}' - # Show execution time of the last command if it's longer than this many seconds. - typeset -g POWERLEVEL9K_COMMAND_EXECUTION_TIME_THRESHOLD=0 + # Show execution time of the last command if takes longer than this many seconds. + typeset -g POWERLEVEL9K_COMMAND_EXECUTION_TIME_THRESHOLD=5 + # Show this many fractional digits. Zero means round to seconds. + typeset -g POWERLEVEL9K_COMMAND_EXECUTION_TIME_PRECISION=0 # Execution time color. typeset -g POWERLEVEL9K_COMMAND_EXECUTION_TIME_FOREGROUND=101 |