diff options
| author | romkatv <roman.perepelitsa@gmail.com> | 2019-11-21 11:24:29 +0300 |
|---|---|---|
| committer | romkatv <roman.perepelitsa@gmail.com> | 2019-11-21 11:24:29 +0300 |
| commit | fdb90994c9ba7863b97621ab75f6e2bd7b9dc530 (patch) | |
| tree | 66087cbfff8dd2e15be08c2cfb8b990b191f32bf /config/p10k-lean.zsh | |
| parent | 8a759305ddd673160acdd3f5314d85054fc6f655 (diff) | |
add `p10k reload` and call it from all standard configs
Diffstat (limited to 'config/p10k-lean.zsh')
| -rw-r--r-- | config/p10k-lean.zsh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/p10k-lean.zsh b/config/p10k-lean.zsh index e9b76643..4064bdf7 100644 --- a/config/p10k-lean.zsh +++ b/config/p10k-lean.zsh @@ -888,6 +888,10 @@ # can slow down prompt by 1-2 milliseconds, so it's better to keep it turned off unless you # really need it. typeset -g POWERLEVEL9K_DISABLE_HOT_RELOAD=true + + # If p10k is already loaded, reload configuration. + # This works even with POWERLEVEL9K_DISABLE_HOT_RELOAD=true. + (( ! $+functions[p10k] )) || p10k reload } (( ${#p10k_config_opts} )) && setopt ${p10k_config_opts[@]} |