diff options
| author | romkatv <roman.perepelitsa@gmail.com> | 2019-07-17 09:45:11 +0300 |
|---|---|---|
| committer | romkatv <roman.perepelitsa@gmail.com> | 2019-07-17 09:45:27 +0300 |
| commit | dd09ce6efc8aeaa22f935a0daf888b88c6736b13 (patch) | |
| tree | 5cc610ddae67680f8546446dfbd39e87c0bc06fe /config/lean.zsh | |
| parent | b4706cbe4332be89fba867ee4ea9154ab4e19d7f (diff) | |
add POWERLEVEL9K_TIME_UPDATE_ON_COMMAND
This is one of the features discussed in #77.
Diffstat (limited to 'config/lean.zsh')
| -rw-r--r-- | config/lean.zsh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/lean.zsh b/config/lean.zsh index 52759a5a..d6d719b1 100644 --- a/config/lean.zsh +++ b/config/lean.zsh @@ -254,6 +254,10 @@ fi typeset -g POWERLEVEL9K_TIME_FOREGROUND=66 # Format for the current time: 09:51:02. See `man 3 strftime`. typeset -g POWERLEVEL9K_TIME_FORMAT='%D{%H:%M:%S}' + # If set to true, time will update when you hit enter. This way prompts for the past + # commands will contain the start times of their commands as opposed to the default + # behavior where they contain the end times of their preceeding commands. + typeset -g POWERLEVEL9K_TIME_UPDATE_ON_COMMAND=false } (( ! p9k_lean_restore_aliases )) || setopt aliases |