fix zsh command history

il y a 10 ans · 4852c2eeca
--- a/+ 4
+++ b/+ 4
@@ -230,8 +230,12 @@ then
    setopt hist_ignore_dups
    setopt hist_ignore_all_dups
    setopt hist_save_no_dups
    setopt extended_history
    setopt share_history
    setopt append_history
    HISTFILE=$HOME/.zsh-history
    HISTSIZE=100000
    SAVEHIST=100000

    setopt prompt_subst