blob: ea8ab9cd606a6c6db8d0b920a16c02c8be34f9a9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/zsh
HISTSIZE=2000000
SAVEHIST=$HISTSIZE
: ${HISTFILE=$ZDOTDIR/zsh_history}
setopt EXTENDED_HISTORY # Write the history file in the ':start:elapsed;command' format.
setopt HIST_EXPIRE_DUPS_FIRST # Expire a duplicate event first when trimming history.
setopt HIST_FIND_NO_DUPS # Do not display a previously found event.
setopt HIST_IGNORE_ALL_DUPS # Delete an old recorded event if a new event is a duplicate.
setopt HIST_IGNORE_DUPS # Do not record an event that was just recorded again.
setopt HIST_IGNORE_SPACE # Do not record an event starting with a space.
setopt HIST_SAVE_NO_DUPS # Do not write a duplicate event to the history file.
setopt SHARE_HISTORY # Share history between all sessions.
|
