history.zsh 596 Bytes
Newer Older
1
## Command history configuration
2
if [ -z "$HISTFILE" ]; then
3
4
    HISTFILE=$HOME/.zsh_history
fi
5
6
7

HISTSIZE=10000
SAVEHIST=10000
James Cox's avatar
James Cox committed
8

LFDM's avatar
LFDM committed
9
10
11
12
13
14
15
16
17
# Show history
case $HIST_STAMPS in
  "mm/dd/yyyy") alias history='fc -fl 1' ;;
  "dd.mm.yyyy") alias history='fc -El 1' ;;
  "yyyy-mm-dd") alias history='fc -il 1' ;;
  *) alias history='fc -l 1' ;;
esac

setopt append_history
James Cox's avatar
James Cox committed
18
19
setopt extended_history
setopt hist_expire_dups_first
20
setopt hist_ignore_dups # ignore duplication command history list
21
setopt hist_ignore_space
22
23
24
setopt hist_verify
setopt inc_append_history
setopt share_history # share command history data