Extended_history가 활성화된 zsh에서 hist_ignore_dups를 사용하여 중복 줄을 무시하는 방법은 무엇입니까?

hist_ignore_dups에서 활성화할 때 에 zsh중복된 행이 많이 있음을 발견했습니다 $HISTFILE.

(노트: HISTFILE="$HOME/.zsh_history")

$ cat $HISTFILE

: 1593874281:0;ls
: 1593874287:0;l
: 1593874288:0;ls
: 1593874291:0;l

나는 hist_ignore_dups이 문제가 해결되어야 한다고 생각한다. (HIST_IGNORE_DUPS http://zsh.sourceforge.net/Doc/Release/Options.html).

$HISTFILE그러나 다음을 통해 hist_ignore_dups활성화되었음에도 불구하고 중복 행이 계속 나타납니다.ohmyzsh역사끼워 넣다.

## History command configuration
setopt extended_history       # record timestamp of command in HISTFILE
setopt hist_expire_dups_first # delete duplicates first when HISTFILE size exceeds HISTSIZE
setopt hist_ignore_dups       # ignore duplicated commands history list
setopt hist_ignore_space      # ignore commands that start with space
setopt hist_verify            # show command with history expansion to user before running it
setopt share_history          # share command history data

나는 이것이 의심스럽고 extended_history갈등 hist_ignore_dups이 있습니다.