8 ms·
zsh, HISTORY_IGNORE is a regex what are you talking about... and there is history_ignore_all_dups so I'm really not following...
by MachineGunPablo 6y ago
zsh, HISTORY_IGNORE is a regex what are you talking about... and there is history_ignore_all_dups so I'm really not following...
- naggie 6y agoNot in bash. Like I said, I use bash (and sometimes ZSH)