diff options
Diffstat (limited to 'internal/p10k.zsh')
| -rw-r--r-- | internal/p10k.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/internal/p10k.zsh b/internal/p10k.zsh index 5951c223..8d897714 100644 --- a/internal/p10k.zsh +++ b/internal/p10k.zsh @@ -3504,6 +3504,7 @@ _p9k_dump_instant_prompt() { [[ -d $prompt_dir ]] || mkdir -p $prompt_dir || return [[ -w $root_dir && -w $prompt_dir ]] || return + # TODO: Use the old $TERM if unset. if [[ ! -e $root_file || ($+__p9k_instant_prompt_sourced == 1 && $__p9k_instant_prompt_sourced != $__p9k_instant_prompt_version) ]]; then local tmp=$root_file.tmp.$$ |