Files
zsh/plugins/history.zsh
2025-11-04 11:45:38 +01:00

17 lines
731 B
Bash

# History configuration
HISTSIZE=50000
SAVEHIST=10000
# History behavior
setopt EXTENDED_HISTORY # Save timestamp
setopt INC_APPEND_HISTORY # Add immediately
setopt SHARE_HISTORY # Share between sessions
setopt HIST_EXPIRE_DUPS_FIRST # Remove dups first when trimming
setopt HIST_IGNORE_DUPS # Don't record immediate dups
setopt HIST_IGNORE_ALL_DUPS # Delete old dups
setopt HIST_FIND_NO_DUPS # Don't show dups in search
setopt HIST_IGNORE_SPACE # Ignore space-prefixed commands
setopt HIST_SAVE_NO_DUPS # Don't save dups
setopt HIST_REDUCE_BLANKS # Remove superfluous blanks
setopt HIST_VERIFY # Show command before executing from history