diff options
| author | romkatv <roman.perepelitsa@gmail.com> | 2019-11-06 14:06:10 +0300 |
|---|---|---|
| committer | romkatv <roman.perepelitsa@gmail.com> | 2019-11-06 14:06:10 +0300 |
| commit | 702439f386579836a779515052f1d81f52a29725 (patch) | |
| tree | cfdc1ad8a44ecbb54c24aee6153edb41f55c3048 /internal/p10k.zsh | |
| parent | 6767e271cd8e34cf3fa69fff79fb8c87138bf8a0 (diff) | |
deinit after `p10k configure` to trigger initialization even if POWERLEVEL9K_DISABLE_HOT_RELOAD=true
Diffstat (limited to 'internal/p10k.zsh')
| -rw-r--r-- | internal/p10k.zsh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/internal/p10k.zsh b/internal/p10k.zsh index e64a1d1f..4cc04af2 100644 --- a/internal/p10k.zsh +++ b/internal/p10k.zsh @@ -5866,7 +5866,8 @@ function p10k() { print -rP -- $__p9k_p10k_configure_usage >&2 return 1 fi - p9k_configure "$@" + p9k_configure "$@" || return + _p9k_deinit ;; help) local var=__p9k_p10k_$2_usage |