]> git.donarmstrong.com Git - zsh.git/blob - .zsh/zshrc/80_history
fix filenames in headers
[zsh.git] / .zsh / zshrc / 80_history
1 # zshrc/80_history
2 #
3 # Set up command line history functions
4 #
5 # Copyright © 1994–2008 martin f. krafft <madduck@madduck.net>
6 # Released under the terms of the Artistic Licence 2.0
7 #
8 # Source repository: http://git.madduck.net/v/etc/zsh.git
9 #
10
11 DEFAULT_HISTFILE=$ZVAR/history
12 HISTFILE=$DEFAULT_HISTFILE
13 HISTSIZE=10000
14 SAVEHIST=$HISTSIZE
15 LISTMAX=1000
16
17 # treat ! specially like csh did
18 setopt bang_hist
19
20 # ignore duplicates in the history
21 setopt hist_ignore_dups
22
23 # save timestamp and duration with each event
24 setopt extended_history
25
26 # properly lock the file on write
27 autoload -U is-at-least
28 # actually ignores the -dev-* stuff, but so be it
29 is-at-least 4.3.6-dev-0+0417 && setopt hist_fcntl_lock
30
31 # skip over non-contiguous duplicates when searching history
32 setopt hist_find_no_dups
33
34 # don't store commands starting with a space in the history file
35 setopt hist_ignore_space
36
37 # don't store history/fc -l invocations
38 setopt hist_no_store
39
40 # remove superfluous blanks from each command line
41 setopt hist_reduce_blanks
42
43 # vim:ft=zsh