From 6e9fbbcae41e031a15f4286e31b1dda6cd5f7a47 Mon Sep 17 00:00:00 2001 From: romkatv Date: Sat, 15 Feb 2020 09:26:26 +0100 Subject: [PATCH] stop unsetting local_options in powerlevel10k.zsh-theme; see #496 --- powerlevel10k.zsh-theme | 1 - 1 file changed, 1 deletion(-) diff --git a/powerlevel10k.zsh-theme b/powerlevel10k.zsh-theme index d0dfde91..74eaba5a 100644 --- a/powerlevel10k.zsh-theme +++ b/powerlevel10k.zsh-theme @@ -53,7 +53,6 @@ source $__p9k_root_dir/internal/p10k.zsh || true } -unsetopt local_options (( $+__p9k_instant_prompt_active )) && unsetopt prompt_cr prompt_sp || setopt prompt_cr prompt_sp (( ${#__p9k_src_opts} )) && setopt ${__p9k_src_opts[@]}